A concise introduction to languages and machines - Parkes, Alan (London Springer, 2007)
Keywords: Computational complexity; Formal languages; Machine theory