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