- Specification and verification: the Spec# experience. Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller Switzerland, Wolfram Schulte and Herman Venter. Communications of the ACM, Volume 54, Issue 6, pages 81-91, June 2011.
https://dx.doi.org/10.1145/1953122.1953145

- Assertions: A Personal Perspective. C.A.R. Hoare. IEEE Annals of the History of Computing, Volume 25 Issue 2, page 14-25, April 2003.
https://dx.doi.org/10.1109/MAHC.2003.1203056

- Viewpoint: Retrospective: an axiomatic basis for computer programming. C.A.R. Hoare. Communications of the ACM - A View of Parallel Computing, Volume 52 Issue 10, pages 30-32, October 2009.
https://dx.doi.org/10.1145/1562764.1562779

-¿Es posible construir software que no falle? Fernando Orejas. Blog El Año Turing. El País. 26 de Julio de 2012.
https://blogs.elpais.com/turing/2012/07/es-posible-construir-software-que-no-falle.html

- Ten Years of Hoare´s Logic: A Survey-Part I. K. R. Apt. ACM Transactions on Programmming Languages and Systems 3(4), pages 431-483, 1981.
https://dx.doi.org/10.1145/357146.357150

- Notes on Recursion Elimination. R. S. Bird. Communications of the ACM 20 (6), pages 434-439, 1977.
https://dx.doi.org/10.1145/359605.359630

- A transformation System for Developing Recursive Programs. R. Burstall, J. Darlintong. Journal of the ACM, 24 (1), pages 44-67, 1977.
https://dx.doi.org/10.1145/321992.321996

- Proof of a Program: FIND. C. A. R. Hoare. Communications of the ACM, 14, pp 39-45, 1971.
https://dx.doi.org/10.1145/362452.362489
Last modified: Monday, 10 December 2012, 1:19 PM