Alan P Parkes Introduction to lanaguages, machines and logic : computable lanaguages, abstract machines and formal logic - Springer, London c2002 - xi,351p ISBN: 1-85233-464-9 Subjects--Facted Index Terms: Computer Science Dewey Class. No.: 511.3 Par