@InProceedings{Goos:00:ASM,
  author =       "Gerhard Goos and
                  Wolf Zimmermann",
  title =        {Verifying Compilers and ASMs},
  booktitle =    "{Abstract State Machines, Theory and Applications}",
  year =         2000,
  pages =        {177-202},
  editor =       {Yuri Gurevich and Philipp W. Kutter and
                  Martin Odersky and Lothar Thiele},
  volume =       1912,
  series =       {LNCS},
  publisher =    springer
}