- 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.

- Assertions: A Personal Perspective. C.A.R. Hoare. IEEE Annals of the History of Computing, Volume 25 Issue 2, page 14-25, April 2003.

- 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.

-¿Es posible construir software que no falle? Fernando Orejas. Blog El Año Turing. El País. 26 de Julio de 2012.

- 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.

- Notes on Recursion Elimination. R. S. Bird. Communications of the ACM 20 (6), pages 434-439, 1977.

- A transformation System for Developing Recursive Programs. R. Burstall, J. Darlintong. Journal of the ACM, 24 (1), pages 44-67, 1977.

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