1. ; ; Eds. Software Engineering Concepts and Techniques. New York: Petrocelli/Chapter; 1976.
2. Program development by stepwise refinement
3. On the criteria to be used in decomposing systems into modules
4. ; ; Structured Programming. London: Academic; 1972.