@inproceedings{DBLP:conf/birthday/Hoare04,
  title = "Towards the Verifying Compiler",
  author = "C. A. R. Hoare",
  year = "2004",
  booktitle = "From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl",
  editor = "Olaf Owe and Stein Krogdahl and Tom Lyche",
  pages = "124-136",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2635",
  doi = "10.1007/978-3-540-39993-3_8",
}