The lambda calculus : its syntax and semantics / - Barendregt, H. P. (North-Holland, 1984)