author : Helmut A. Partsch

Books

• Specification and Transformation of Programs: a formal approach to software development. 1990