Combinatory logic. VOL. 2. - Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P. (North-Holland Publishing Company, 1972)