@inproceedings{DBLP:conf/tapsoft/KieburtzBBHLOSWZ95,
 author = {Richard B. Kieburtz and
Françoise Bellegarde and
Jeffrey M. Bell and
James Hook and
Jeffrey Lewis and
Dino Oliva and
Tim Sheard and
Lisa Walton and
Tong Zhou},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/tapsoft/KieburtzBBHLOSWZ95.bib},
 booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
 doi = {10.1007/3-540-59293-8_219},
 editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
 pages = {546--560},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Tue, 14 May 2019 10:00:50 +0200},
 title = {Calculating Software Generators from Solution Specifications},
 url = {https://doi.org/10.1007/3-540-59293-8_219},
 volume = {915},
 year = {1995}
}