Evans, Arthur Jr "The Lambda Calculus and its relation to programming languages"

[ACM] (1972) [ACM] Proceedings of the 1972 Annual Conference of the ACM  

Languages mentioned PAL {1968} Pedagogic Algorithmic Language