C. Strachey;M. V. Wilkes
London, England, U.K.;Univ. of Mathematical Lab, Cambridge, England, U.K.
Sequential formula translation
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I