THE LAMBDA CALCULUS - Barendregt, H.P. (North-Holland, 1984)