TY  - BOOK
AU  - Barendregt, H.P
TI  - The lambda calculas its syntax and semantics
N1  - B31 M33
ER  -