TITLE     : Correctness preserving transformations for the late phases of software development
AUTHOR(S) : Fantechi A, Makhanet B, Najm E, Cunha P, Queiroz J
TYPE      : Contribution to book
YEAR      : 1995
CODE      : 410459

*** DO NOT EDIT THIS FILE ***