Formal Program Construction by Transformations (1989)

by F Bauer, B Moller, H Partsch, P Pepper
Venue:Computer-Aided, Intuition-Guided Programming,” IEEE Trans. Software Engineering