Structured Analysis And System Specification by Tom DeMarco