A concise introduction to languages and machines - Parkes, Alan (Undergraduate topics in computer science, 2007)