@Inproceedings{ GGZ2000,
  author        = "T. Gaul and W. Zimmermann and W. Goerigk",
  title         = {{Practical Construction of Correct Compiler
  Implementations by Runtime Result Verification}}, 
  year          = 2000,
  booktitle     = "Proceedings of SCI'2000, International Conference on Information
                   Systems Analysis and Synthesis",
  Address       = {Orlando, Florida},
  file          = {SCI2000}
}