@conference{BlGl05,
  author={Jan Olaf Blech and Sabine Glesner and Johannes Leitner and Steffen M{\"u}lling},
  title={A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL},
  booktitle={Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 8th European Conferences on Theory and Practice of Software (ETAPS 2005)},
  year={2005},
  month={April},
  publisher={Elsevier},
  journal={Electronic Notes in Theoretical Computer Science (ENTCS)}
}