Introduction to Combinators and (Sn(B-Calculuss - Hindley, J. Roger (new york Cambridge University Press, 1990)