TY  - BOOK
AU  - Kozen, Dexter C.
AU  - 
TI  - Theory of Computation
SN  - 9781846282973
U1  - 410.285 KOZ 
PY  - 2006///
CY  - London
PB  - Springer
KW  - Computation
ER  -