Combinatory logic - Curry Haskell B; Hindley J. Roger (Amsterdam North Holland The Netherlands, 1972)