Hoare en el famoso libro "Structured Programming" en 1972 por Dahl, Edsger Dijkstra y Hoare, quizá el libro sobre software más conocido de los años 1970.