@inproceedings{DBLP:conf/pc/BauerBGHKPPW78,
author = {Friedrich L. Bauer and
Manfred Broy and
Rupert Gnatz and
Wolfgang Hesse and
Bernd Krieg-Br{\"u}ckner and
Helmuth Partsch and
Peter Pepper and
Hans W{\"o}ssner},
title = {Towards a Wide Spectrum Language to Support Program Specification
and Program Development},
booktitle = {Program Construction},
year = {1978},
pages = {543-552},
ee = {http://dx.doi.org/10.1007/BFb0014682},
crossref = {DBLP:conf/pc/1978},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/pc/1978,
editor = {Friedrich L. Bauer and
Manfred Broy},
title = {Program Construction, International Summer School, July
26 - August 6, 1978, Marktoberdorf, germany},
booktitle = {Program Construction},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {69},
year = {1979},
isbn = {3-540-09251-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}