Introduction to the theory of computation - Sipser, Michael (Boston : PWS Pub. Co. ; Singapore : Brooks/Cole, 1997)
Includes bibliographical references (p. 381-385) and index.
Keywords: Machine theory; Computational complexity