Backus, John W. "Programming Language Semantics and Closed Applicative Languages" pp71-86

[POPL 1973] (1973) [ACM SIGACT-SIGPLAN] Proceedings of the ACM Symposium on Principles of Programming Languages, Boston, October 1973. Association for Computing Machinery.   John Backus

Languages mentioned RED {1972} Backus formalism of language