1. Yourdon, E., and Constantine, L.: Structured design, (Prentice-Hall 1979)
2. Gane, C., and Sarson, T.: Structured systems analysis: tools and techniques, (Prentice-Hall 1979)
3. McDermid, J.A.: The theory and practice of refinement, (Butterworth 1989)