Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (1990)

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