Structured analysis and system specification - DeMarco, Tom 1940- (Yourdon, 1978)