Introduction to the theory of computation - Sipser, Michael (Australia Boston, MA Cengage Learning, 2013)
Includes bibliographical references and index.
Keywords: Computational complexity; Machine theory