Backus, John "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs" (1977 Turing Award Lecture)

[ACM] (1978) [ACM] CACM 21(08) (August 1978).   John Backus

Languages mentioned Church typed-lambda calculus {1941} Church FFP {1977} Formal FP FP {1977} Functional Programming