TY  - BOOK
AU  - Sipser, Michael
TI  - Introduction to the theory of computation
U1  - 004 
PY  - 2013///
KW  - GEN
KW  - CCC
ER  -