The Lambda Calculus. North-Holland, revised edition (1984)

by H P Barendregt