Alexey Kalinov Alexander Kossatchev Alexander K. Petrenko Mikhail Posypkin Vladimir Shishkov Using ASM Specifications for Compiler Testing. 415 2003 conf/asm/2003 Abstract State Machines http://link.springer.de/link/service/series/0558/bibs/2589/25890415.htm db/conf/asm/asm2003.html#KalinovKPPS03