Fernando Orejas Vera Sacristan Silvia Clerici Development of Algebraic Specifications with Constraints. 102-123 1988 conf/category/1988 Categorial Methods in Computer Science db/conf/category/category1988.html#OrejasSC88