A Concise Introduction to Languages and Machines - Parkes, Alan P.; SpringerLink (Online service) (London : Springer-Verlag London, 2008)
Keywords: Computer science; Computer science -- Mathematics; Computer Science; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Theory of Computation; Computational Mathematics and Numerical Analysis