@InProceedings{DHPR97,
  author = 	 "A. Dold and F.W. von Henke and H. Pfeifer and H. Rue{\ss}",
  title = 	 "Formal Verification of Transformations for Peephole
		  Optimization",
  editor =	 "J. Fitzgerald, C.B. Jones, P. Lucas",
  volume =	 "1313",
  series =	 "Lecture Notes in Computer Science",
  pages =	 "459--472",
  booktitle =	 "{FME} '97: Formal Methods: Their Industrial Application 
                     and Strengthened Foundations}", 
  year =	 1997,
  publisher =	 "Springer Verlag",
  month =	 september
}