Structured Programming - Dahl, O.J; Dijkstra, Edsger W; Hoare, Charles A.R (Academic Press, 1972)