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