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