Specification and Transformation of Programs (1990)

by H Partsch
Venue:Texts and Monographs in CS