@inproceedings{DBLP:conf/category/OrejasNE88,
author = {Fernando Orejas and
Pilar Nivela and
Hartmut Ehrig},
title = {Semantical Constructions for Categories of Behavioural Specifications},
booktitle = {Categorial Methods in Computer Science},
year = {1988},
pages = {220-243},
crossref = {DBLP:conf/category/1988},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/category/1988,
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans-J{\"o}rg Kreowski and
Gerhard Preu{\ss}},
title = {Categorial Methods in Computer Science: With Aspects from
Topology [Workshop, September 1988, Berlin, Germany]},
booktitle = {Categorial Methods in Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {393},
year = {1989},
isbn = {3-540-51722-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}