An Integrated Approach to Software Engineering - Pankaj, Jalote (Springer, 1997)