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