The lambda calculus: its syntax and semantics - Barendregt, Hendrik Pieter (Studies in logic and the Foundations of Mathematics, 1984)