Refal/Supercompilation Community - http://www.refal.net/index_e.htm Recursive functions algorithmic language, for symbol manipulation: string processing, translation, artificial intelligence. News, biography, history, documents, training, applications, fora, links. English, Russian. [Open Source, BSD-like]
Leonid Belous - http://www.refal.net/~belous/ Projects with downloads: Refal-РНР, Refal-SciTE. [Open Source, BSD-like]
REFAL Programming Language - http://en.wikipedia.org/wiki/REFAL_programming_language Growing article, with links to related topics. [Wikipedia]
About Valentin Turchin - http://pespmc1.vub.ac.be/TURCHIN.html On Refal's creator: photo, contact information, curriculum vitae, research interests, some publications. [Principia Cybernetica Web]
Refal-5 - http://botik.ru/pub/local/scp/refal5/ Several downloads. Refal-5: Programming Guide and Reference Manual (by V. Turchin): online, zipfile; Refal-5 compiler executables and documents for varied operating systems. Refal-C translator.