En 1976 Dijkstra publicó su libro "A Discipline of Programming" el cual presentó su método de desarrollo sistemático de programas, junto con sus pruebas de corrección.