Helmut A. Partsch

• Specification and Transformation of Programs