@inproceedings{DBLP:conf/acl2/Hoare06,
  title = "The ideal of verified software",
  author = "Tony Hoare",
  year = "2006",
  booktitle = "Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006",
  editor = "Panagiotis Manolios and Matthew Wilding",
  pages = "61-62",
  publisher = "ACM",
  doi = "10.1145/1217975.1217988",
}