Hartmut Ehrig. Categorical Concept of Constraints for Algebraic Specifications. In Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß, editors, Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]. Volume 393 of Lecture Notes in Computer Science, pages 1-15, Springer, 1988.
Abstract is missing.