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

by H Partsch