Categorical Concept of Constraints for Algebraic Specifications.

Hartmut Ehrig Categorical Concept of Constraints for Algebraic Specifications. 1-15 1988 conf/category/1988 Categorial Methods in Computer Science db/conf/category/category1988.html#Ehrig88