An introduction to computable languages and abstract machines - Parkes, Alan (International Thomson Computer Press, 1996)