Theory of computation - Sipser, Michael (Cengage Learning India New Delhi, 2009)
English