A concise introduction to languages and machines - Parkes, Alan (Springer, 2008)