The Lambda Calculus, its Syntax and Semantics. NorthHolland, 2nd edition (1984)

by H P Barendregt