A discipline of programming. - Dijkstra, Edsger W. (Prentice-Hall, Inc., 1976)