TY  - BOOK
AU  - Parkes,Alan P.
TI  - Introduction to languages, machines and logic: computable languages, abstract machines and formal logic 
SN  - 1852334649
PY  - 2002///
CY  - London
PB  - Springer
KW  - Formal languages
ER  -