A discipline of programming - Dijkstra, Edsger Wybe, 1930-2002 (Prentice-Hall series in automatic computation, 1976)