TITLE     : Correctness preserving transformations for the early phases of software development
AUTHOR(S) : Bolognesi T, De Frutos D, Langerak R, Latella D
TYPE      : Contribution to book
YEAR      : 1995
CODE      : 190073

*** DO NOT EDIT THIS FILE ***