Fundamentals of Algebraic Specification 1, volume 6 (1985)

by H Ehrig, B Mahr
Venue:of EATCS Monographs on Theoretical Computer Science