@Inproceedings{Goerigk97d,
  Author        = {Wolfgang Goerigk},
  Title         = {{Towards Rigorous Compiler Implementation Verification}}, 
  BookTitle     = {Proc. of the 1997 Workshop on Programming Languages and
                   Fundamentals of Programming},
  Editor        = {Rudolf Berghammer and Friedemann Simon},
  Pages         = {118 -- 126},
  Address       = {Avendorf, Germany},
  Month         = nov,
  Year          = 1997
}