The Lambda Calculus by H.P. Barendregt