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