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