@InProceedings{ HGGGZ99,
  author        = "A. Heberle and T. Gaul and W. Goerigk
                  and G. Goos and W. Zimmermann",
  title         = {{Construction of Verified Compiler Front-Ends
                  with Program-Checking}}, 
  series        = "Lecture Notes in Computer Science",
  year          = 1999,
  booktitle     = "Proceedings of {PSI} '99: Andrei Ershov Third
                  International Conference on Perspectives Of System
                  Informatics",
  Address       = {Novosibirsk, Russia},
  publisher     = "Springer Verlag",
  Note          = {To appear}
}