A discipline of programming. - Dijkstra, Edsger W.