@inproceedings{DBLP:conf/icfpc/Gaudel81,
author = {Marie-Claude Gaudel},
title = {Compiler Generation from Formal Definition of Programming
Languages: A Survey},
booktitle = {ICFPC},
year = {1981},
pages = {96-114},
ee = {http://dx.doi.org/10.1007/3-540-10699-5_94},
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}
}