Broy Manfred;Peter Pepper
Technishe Univ. Munchen, Munich, West Germany;Technishe Univ. Munchen, Munich, West Germany
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering