Axel Dold Thilo Gaul Vincent Vialard Wolf Zimmermann ASM-based Mechanized Verification of Compiler Back-Ends. 50-67 1998 Workshop on Abstract State Machines db/conf/asm/asm98.html#DoldGVZ98