Radensky, A. and Djambazova, M. 1992. Schemes for recursion elimination in Backus’ FP-Systems. Ann. Sofia Univ. Fac. Math. and Inf. 83, 1 (Dec. 1992), 39–49.