@InProceedings{Goerigk/Hoffmann98,
  Author        = {Goerigk, Wolfgang and Hoffmann, Ulrich},
  Title         = {{Rigorous Compiler Implementation Correctness: How to Prove the Real
                   Thing Correct}},
  Year          = {1998},
  Series        = LNCS,
  Address       = {Boppard},
  BookTitle     = {Proceedings FM-TRENDS'98 International Workshop on Current Trends in
                   Applied Formal Methods},
  Note          = {To appear}
}