A method of programming - Dijkstra, Edsger W. (Addison-Wesley, 1988)