A discipline of programming - Dijkstra, Edsger. W