Abstract Computing Machines - Kluge, W. (Springer Berlin Heidelberg, 2005)