Specification and Transformation of Programs: A Formal Approach to Software Development - Helmut A. Partsch