Introduction To The Theory Of Computation - Sipser (Cengage Learning New Delhi, 2013)