COMBINATORY LOGIC - Curry, Haskell B., Hindley, J.Roger; Seldin, Jonathan P. (North-Holland, 1972)