A Mechanically Verified Compiling Specification for a Realistic Compiler (2001)

by Axel Dold, F W von Henke, V Vialard, W Goerigk
Venue:Lecture Notes in Computer Science