Combinatory logic / by H.B. Curry and R. Feys - Curry, H. B. (North Holland, 1958)