Combinatory logic. - Curry Haskell B (London North Holland Publishing, 1972)