@Unpublished{Zimmermann+99,
  author        = {Wolf Zimmermann and Andreas Heberle and Wolfgang Goerigk},
  title         = {{The Verifix Approach Towards the Construction of
                  Correct Compilers}}, 
  year          = 1999,
  note          = {Verifix Technical Report},
  verifixkey    = {UKA-VR},
  file          = {}
}