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