TY  - BOOK
AU  - Kozen.Dexter C
TI  - Automata and Computability
PB  - "Springer,New "
KW  - MATHS
KW  - Mathematics
N1  - YES
ER  -