Structured analysis and system specification - De Marco, Tom (Prentice Hall, 1979)