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