@TechReport{Dold98d,
  Author        = {Axel Dold},
  Title         = "{Correct Compiler Construction in PVS}",
  Type          = {{\it Verifix}\/-Arbeitsbericht},
  Institution   = {Uni Ulm},
  Number        = {[Verifix/Uni Ulm/20.1]},
  Year          = {1998},
  Month         = oct,
}