TITLE     : Correctness preserving transformations for the late phases of development
AUTHOR(S) : Fantechi A, Makhanet B, Najm E, Cunha P, Queiroz J
TYPE      : Conference article
YEAR      : 1992
CODE      : 453455

*** DO NOT EDIT THIS FILE ***