Structured Analysis and System Specification by Tom Demarco