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