@Unpublished{Zimmer-et-al:99,
  author        = {Wolf Zimmermann and Andreas Heberle and Wolfgang Goerigk},
  title         = {{The Verifix Approach Towards the Construction of
                  Correct Compilers}}, 
  year          = 1999,
  note          = {Working Paper},
}