Barendregt The Lambda Calculus: Its Syntax and Semantics (1984)