An introduction to computable languages and abstract machines - Parkes, Alan (London International Thomson Computer Press, 1996)
Keywords: Formal languages; Machine theory; Programming languages (Electronic computers)