A discipline of programming - Dijkstra, Edsger W. (rz1, 1976)