Lambda-calculus, combinators, and functional programming - Revesz, György E. (Cambridge Univ. Pr., 1988)
Hier auch später erschienene, unveränderte Nachdrucke