COMBINATORY LOGIC - Curry, Haskell B. (North-Holland, 1958)