Hoare en su artículo de 1969 "An axiomatic basis for computer programming" (""Una base axiomática para la programación de ordenadores"").