Refal stands for REcursive Functions Algorithmic Language, it's a functional programming language suited to symbolic and textual manipulation.