Structured analysis and system specification - De Marco, Tom (Prentice-hall software series, 1979)