TY  - BOOK
AU  - Alan P Parkes
TI  - Introduction to lanaguages, machines and logic : computable lanaguages, abstract machines and formal logic
SN  - 1-85233-464-9
U1  - 511.3 Par 
PY  - 2002///
CY  - Springer, London
KW  - Computer Science
ER  -