@inproceedings{DBLP:conf/am/AstesianoGRZ87,
author = {Egidio Astesiano and
Alessandro Giovini and
Gianna Reggio and
Elena Zucca},
title = {An Integrated Algebraic Approach to the Specification of
Data Types, Processes and Objects},
booktitle = {Algebraic Methods},
year = {1987},
pages = {91-116},
ee = {http://dx.doi.org/10.1007/BFb0015037},
crossref = {DBLP:conf/am/1987},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/am/1987,
editor = {Martin Wirsing and
Jan A. Bergstra},
title = {Algebraic Methods: Theory, Tools and Applications [papers
from a workshop in Passau, Germany, June 9-11, 1987]},
booktitle = {Algebraic Methods},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {394},
year = {1989},
isbn = {3-540-51698-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}