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