@inproceedings{DBLP:conf/prospectra/KarlsenJ93a,
author = {Einar W. Karlsen and
Jesper J{\o}rgensen II},
title = {Program Development: PA$^{\mbox{nn}}$dA-S Editor},
booktitle = {PROSPECTRA Book},
year = {1993},
pages = {389-417},
ee = {http://dx.doi.org/10.1007/3-540-56733-X_159},
crossref = {DBLP:conf/prospectra/1993},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/prospectra/1993,
editor = {Berthold Hoffmann and
Bernd Krieg-Br{\"u}ckner},
title = {Program Development by Specification and Transformation,
The PROSPECTRA Methodology, Language Family, and System},
booktitle = {PROSPECTRA Book},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {680},
year = {1993},
isbn = {3-540-56733-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}