Andreas Heberle Thilo Gaul Wolfgang Goerigk Gerhard Goos Wolf Zimmermann Construction of Verified Compiler Front-Ends with Program-Checking. 481-492 1999 conf/ershov/1999 Ershov Memorial Conference http://dx.doi.org/10.1007/3-540-46562-6_43 db/conf/ershov/ershov1999.html#HeberleGGGZ99