A discipline of programming - Dijkstra, Edsger W.