@TechReport{uib-2002-03,
  author = "A. Dold and F.\ W.\ v.\ Henke and V. Vialard and W. Goerigk",
  title = "{A Mechanically Verified Compiling Specification for a Realistic
            Compiler}",
  institution =  "Universit{\"a}t Ulm, Fakult{\"a}t f{\"u}r Informatik",
  year =         "2002",
  number =       "02-03",
  type =         "Ulmer Informatik-Berichte"
 }