on Structured Programming, p. 6. Michael A. Jackson, Principles of Program Design, Academic Press, London, 1975. O.-J. Dahl, E. W. Dijkstra, C. A. R. Hoare Structured Programming, Academic Press, London, 1972. . this volume includes an expanded version of the Notes on Structured Programming, above, including an extended example of using the structured approach to develop a backtracking algorithm to solve the 8 Queens problem. a pdf version is in the ACM Classic Books Series Note that the third chapter of this book, by Dahl, describes an approach that is easily recognized as Object Oriented Programming. It can be seen as another way to "usefully structure" a program to aid in showing that it is correct. External links BPStruct - A tool to structure concurrent systems (programs, process models) Programming paradigms Holism