A Concise Introduction to Languages and Machines - Parkes, Alan P. (Springer London : Imprint: Springer, 2008)