TY  - BOOK
AU  - Kozen, Dexter C.
TI  - Theory of computation
SN  - 1846282977
PY  - 2006///
CY  - London
PB  - Springer
ER  -