Helmuth Partsch;Peter Pepper
-;-
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering