TY  - BOOK
AU  - Parkes Alan P
TI  - Introduction to languages, machines and logic: computable languages, abstract machines and formal logic
SN  - 1-85233-464-9
U1  - 511.3 
PY  - 2002///
CY  - London
PB  - Springer-Verlag
KW  - Formal languages
KW  - Machine theory
ER  -