@inproceedings{DBLP:conf/unu/Hoare02,
  title = "Towards the Verifying Compiler",
  author = "C. A. R. Hoare",
  year = "2002",
  booktitle = "Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers",
  editor = "Bernhard K. Aichernig and T. S. E. Maibaum",
  pages = "151-160",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2757",
  doi = "10.1007/978-3-540-40007-3_10",
}