@inproceedings{BBF+92,
title = {Provably Correct Compiler Development and Implementation },
author = {Buth, Bettina and Buth, Karl-Heinz and Fr\"anzle, Martin and Karger, Burghard and Lakhnech, Yassine and Langmaack, Hans and M\"uller-Olm, Markus},
year = {1992},
booktitle = {Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings},
pages = {141-155},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {641},
team = {DCS},
}