Categorical Concept of Constraints for Algebraic Specifications

@inproceedings{Ehrig1988CategoricalCO,
  title={Categorical Concept of Constraints for Algebraic Specifications},
  author={Hartmut Ehrig},
  booktitle={Categorial Methods in Computer Science},
  year={1988}
}