A Discipline of Programming - Dijkstra, Edsger W.