A discipline of programming - Dijkstra Edsger Wybe (1st ed. | Englewood Cliff Prentice-Hall, 1976)