Friedrich L. Bauer;Manfred Broy;Helmuth Partsch;Peter Pepper;Hans Wössner
-;-;-;-;-
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering