Lambda-calculus, combinators, and functional programming - R ev esz, Gy orgy E. (Cambridge tracts in theoretical computer science, 1988)