Combinatory logic.1V. - Curry Haskell B; Feys Robert (Amsterdam North Holland Publishing, 1958)