Equivalent transformations of recursive functions defined in Refal. In: Teorija Jazykov i Metody (1972)

by Valentin F Turchin
Venue:Programmirovanija (Proceedings of the Symposium on the Theory of Languages and Programming Methods). (Kiev-Alushta, USSR