Theory of Computer Science - Mishra KLP (PHI, 2008)