Introduction to the theory of computation - Sipser, Michael (Boston, MA Cengage Learning, 2013)
Keywords: Machine theory; Computational complexity