Abstract Computing Machines A Lambda Calculus Perspective - Kluge, William S. (Springer-Verlag Berlin Heidelberg, 2005)