The Lambda Calculus its syntax and semantics - Barendregt, Hendrik P. 1947- (North-Holland, Elsevier, 1984)