Structure analysis and system specification - Demarco, Tom (Prentice Hall, 1979)