Introduction to the theory of computation - Sipser, Michael (Australia Thomson Course Technology, 2006)
Keywords: Machine theory; Computational complexity