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