Helmut A. Partsch

Formal program development

Specification and Transformation of Programs Monographs in Computer Science