@InProceedings{DGZ98,
  author = 	 {A. Dold and T. Gaul and W. Zimmermann},
  title = 	 {Mechanized Verification of Compiler Back-Ends},
  booktitle = 	 {Proceedings of the International Workshop on Software Tools for
                  Technology Transfer STTT '98},
  editor =	 {B. Steffen and T. Margaria},
  year =	 1998,
  pages =	 {13--24}
}