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