Combinatory logic. VOL. 2. - Curry, Haskell B. (North-Holland Publishing Company, 1972)