Syntactic properties of the refal language
F.A. Murzia · International Journal of Computer Mathematics · 1985
A programming language REFAL is one of the languages created for symbolic manipulation. It is implemented on various computers. Syntactic properties of this language are formally investigated in this paper.