@InProceedings{DGVZ:98,
  author = 	 "A.Dold and T.Gaul and V.Vialard and W.Zimmermann",
  title = 	 "{ASM-Based Mechanized Verification of Compiler Backends}",
  editor = 	 "Uwe Gl{\"a}sser and Peter H. Schmitt",
  pages = 	 "50-67",
  booktitle =    "{Proceedings of the 5th International Workshop on
		   Abstract State Machines}",
  year = 	 "1998",
}