Barendrecht (1984)
Barendrecht H.P. (1984)
The Lambda Calculus -- Its Syntax and Semantics
North-Holland, rev. edn