Software eng. A precise approach - Pankaj Jalotes (Wiley India, 2010)