Fundamentals of Algebraic Specification 2, Module Specifications Constraints (1990)

by H Ehrig, B Mahr