1. Alexander, C. Notes on the Synthesis of Form, Harvard University Press, 1964.
2. Chanon, R. N. On a Measure of Program Structure, Ph. D. Thesis, Department of Computer Sciences, Carnegie-Mellon University, December, 1973.
3. Dijkstra, E. W. Notes on structured programming, Structured Programming, Academic Press, 1972.
4. Dijkstra, E. W. A constructive approach to the problem of program correctness. BIT 8 (1968) pp. 174–186.
5. Dujkstra, E. W. EWD316: A Short Introduction to the Art of Programming, Eindhoven, The Netherlands, 1971.