Introduction to Languages, Machines and Logic by Alan P. Parkes & Alan Parkes