@InCollection{Goos:99:verifix,
  author =       {Gerhard Goos and Wolf Zimmermann},
  title =        {Verification of Compilers},
  booktitle =    {Correct System Design},
  pages =        {201-230},
  publisher =    {Springer-Verlag},
  year =         1999,
  editor =       {Bernhard Steffen and Ernst Rüdiger Olderog},
  volume =       1710,
  series =       {LNCS}
}