Refal

Recursive Functions Algorithmic Language

V. Turchin, Moscow, about 1972 (now at CUNY?)

"Supercompiler System Based on the Language Refal", V. Turchin, SIGPLAN Notices 14(2):46-54 (Feb 1979).