Structured Analysis and System Specification - Demarco, Tom (Prentice-Hall, 1979)