Structured analysis and system specification - DeMarco, Tom 1940- (Prentice-Hall software series., 1979)