@MastersThesis{Heuzeroth:98,
  author = 	 "Dirk Heuzeroth",
  title = 	 {{Spezifikation und Verifikation von standardisierten
		  Transformationen am Beispiel der {\"U}bersetzung der
		  imperativen Sprache \textit{IS}}},
  school = 	 "University of Karlsruhe",
  year = 	 "1998",
}