discipline of programming - Dijkstra, Edsger Wybe (Prentice-Hall, 1976)