Introduction to languages, machines and logic computable languages, abstract machines and formal logic - Parkes Alan P (London Springer-Verlag, 2002)
Keywords: Formal languages; Machine theory