Introduction to the theory of computation - Sipser, Michael (Boston PWS Pub. Co., 1997)
Keywords: Machine theory; Computational complexity