ªOn the Construction of Correct Compiler Back-Ends: An ASM (1997)

by W Zimmerman, T Gaul
Venue:Approach,º J. Universal Computer Science