Method of Programming - Dijkstra, Edsger W. (Addison-Wesley Pub. Co., 1988)