Fundamentals of Algebraic Specification 2: Module (1990)

by H Ehrig, B Mahr
Venue:Specifications and Constraints, volume21ofEATCS Monographs on Theoretical Computer Science