The Lambda Calculus, Its Syntax and Semantics. North-Holland, revised edition (1984)

by H P Barendregt