Landin, P.J. "The Next 700 Programming Languages"

[ACM] (1966) [ACM] CACM 9(03) March 1966 includes proceedings of the ACM Programming Languages and Pragmatics Conference, San Dimas, California, August 1965  

Languages mentioned Church typed-lambda calculus {1941} Church ISWIM {1966} Landin's paper language