Wolf Zimmermann On the Correctness of Transformations in Compiler Back-Ends. 74-95 2004 conf/isola/2004 ISoLA http://dx.doi.org/10.1007/11925040_6 db/conf/isola/isola2004.html#Zimmermann04