Introduction to Theory of Computation - Sipser, Michael (New Deli Cengage Learning, 2011)
Keywords: Machine theory; Computational complexity