A discipline of programming. - Dijkstra, Edsger W. (Englewood Cliffs, New Jersey Prentice Hall, Inc., 2008)