Abstract Computing Machines : A Lambda Calculus Perspective - W. Brauer, G. Rozenberg, A. Salomaa ((Texts in Theoretical Computer Science. An EATCS Series))