An integrated approach to software engineering - Jalote, Pankaj (Springer-Verlag, 1991)