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