TY  - BOOK
AU  - Sipser Michael
TI  - Introduction to the theory of computation
SN  - 0-534-94728-X
U1  - 511.3 
PY  - 1997///
CY  - Boston
PB  - PWS
KW  - Computational complexity
KW  - Machine theory
ER  -