The lambda calculus: its syntax and semantics - Barendregt, Hendrik Pieter (1984)