Radensky, A.; Djambazova, M. Schemes for Recursion Elimination in Backus’ FP-Systems. Ann. Sofia Univ. Fac. Math. and Inf. 1992, 83, 39-49.