A discipline of programming - Dijkstra, Edsger W. (Prentice-Hall Series in Automatic Computation / Prentice-Hall, Inc.., 1976)