Specification and Transformation of Programs (1990)

by Helmut A Partsch