Bettina Buth Karl-Heinz Buth Martin Fränzle Burghard von Karger Yassine Lakhnech Hans Langmaack Markus Müller-Olm Provably Correct Compiler Development and Implementation. 141-155 1992 conf/cc/1992 CC db/conf/cc/cc92.html#ButhBFKLLM92 https://doi.org/10.1007/3-540-55984-1_14