Specification and Transformation of Programs. A Formal Approach to Software Development (1990)

by H Partsch