An Integrated Approach to Software Engineering - Pankaj Jalote ((Texts in Computer Science))