Verifying Compilers and ASMs or ASMs for uniform description of multistep transformations (2000)

by G Goos, W Zimmermann
Venue:Proceedings of the International Workshop ASM 2000, Abstract State Machines - Theory and Applications