Introduction to lanaguages, machines and logic : computable lanaguages, abstract machines and formal logic - Alan P Parkes (Springer, London, 2002)