Structured analysis and system specification - Demarco, Tom (Prentice-Hall, 1979)