@inproceedings{74add859fea74a96bfc6e013c43291a9,
title = "Provably correct compiler development and implementation",
author = "Bettina Buth and Karl-Heinz Buth and Martin Fr{\"a}nzle and Karger, \{Burghard von\} and Yassine Lakhneche and Hans Langmaack and Markus M{\"u}ller-Olm and U. Kastens and P. Pfahler",
year = "1992",
language = "English",
pages = "141--155",
booktitle = "Compiler Construction",
publisher = "Springer Verlag",
address = "Germany",
note = "Compiler Construction ; Conference date: 01-01-1992",
}