On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations.

Andreas Heberle Welf Löwe On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations. 68-90 1998 Workshop on Abstract State Machines db/conf/asm/asm98.html#HerberleL98