The lambda calculus : its syntax and semantics - Barendregt, H. P. (Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra, 1984)