A Correspondence Between ALGOL 60 and Church's Lambda-Notation: Part II*
CACM March, 1965
Landin, P. J.
