A discipline for software engineering - Humphrey, Watts S. (Addison-Wesley, 2005)