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