TY  - GEN
AU  - Sipser, Michael
TI  - Introduction to the theory of Computation
U1  - 511.3 
PY  - 2005///
CY  - Boston
PB  - Thomson
ER  -