Introduction to combinators and calculus - Hindley J Roger; Seldin Jonathan P (1986)