Specification and Transformation of Programs: a Formal Approach to Software Development (1990)

by H A Partsch