Sabine Glesner Using Program Checking to Ensure the Correctness of Compiler Implementations. 191-222 2003 9 J. UCS 3 http://www.jucs.org/jucs_9_3/using_program_checking_to db/journals/jucs/jucs9.html#Glesner03