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