Structured analysis and system specification - DeMarco, Tom 1940- (Yourdon Pr., 1979)