@inproceedings{DBLP:conf/icfpc/GoguenP81,
author = {Joseph A. Goguen and
Kamran Parsaye-Ghomi},
title = {Algebraic Denotational Semantics Using Parameterized Abstract
Modules},
booktitle = {ICFPC},
year = {1981},
pages = {292-309},
ee = {http://dx.doi.org/10.1007/3-540-10699-5_106},
crossref = {DBLP:conf/icfpc/1981},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icfpc/1981,
editor = {Josep D\'{\i}az and
Isidro Ramos},
title = {Formalization of Programming Concepts, International Colloquium,
Peniscola, Spain, April 19-25, 1981, Proceedings},
booktitle = {ICFPC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {107},
year = {1981},
isbn = {3-540-10699-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
