Turchin, V. "Supercompiler System Based on the Language Refal"

[SIGPLAN] (1979) SIGPLAN Notices 14(02) Feb 1979  

Languages mentioned Refal {1970} Recursive functional algorithms