TY  - BOOK
AU  - Kozen Dexter C
TI  - Theory of computaion
T2  - Texts in computer science
U1  - D6,8(B), P6 
PY  - 2006///
CY  - London
PB  - Springer       
KW  - Computer Theory
ER  -