Backus, J., "Reduction Languages and Variable-Free Programming", IBM Research Report RJ I010, Yorktown Heights, N.Y. (April 1972).

Languages mentioned

• RED {1972} Backus formalism of language