TY  - BOOK
TI  - Theoretical computer science 
SN  - 387081380
U1  - 001.64 THE 
PY  - 1977///
CY  - Berlin ;;New York 
PB  - Springer-Verlag
KW  - Machine theory;Formal languages
ER  -