Introduction to the theory of computation - Sipser, Michael (Boston Thomson Course Technology, 2006)
Includes bibliographical references (p.421-425) and index.
Keywords: Machine theory; Computational complexity