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