@Inproceedings{Goerigk/Simon98,
  Author        = {Goerigk, Wolfgang and Simon, Friedemann},
  Title         =  {{Towards Rigorous Compiler Implementation Verification}},
  BookTitle     = {Proceedings of the VIM Spring and Winter Workshops},
  Editor        = {Julian Padget},
  Year          = 1998,
  Publisher     = {Springer Verlag},
  Address       = {Berlin, Heidelberg, New York},
  Series        = {Lecture Notes in Computer Science},
  Note          = {To appear}
}