Abstract computing machines a lambda calculus perspective - Kluge, W. (Texts in Theoretical Computer Science, An EATCS Series, 2005)