Fundamentals of Algebraic Specification (1985)

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