Introduction to the Theory of Computation - Sipser, Michael (Australia : Cengage learning, 2013)
includes bibliographical references and index
Keywords: Machine theory; computational complexity; Computer science -- Mathematics