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