The lambda calculus, its syntax and semantics. 2nd edn (1984)

by H P Barendregt