TY  - GEN
AU  - Sipser, Michael.             
TI  - Introduction to the Theory of Computation
SN  - 0534950973
U1  - 511.3 22
PY  - 2006///
CY  - Boston
PB  - Thomson Course Technology,2006
KW  - Machine theory
KW  - Computational complexity
N1  - Includes bibliographical references (p. 415-419) and index
ER  -