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