Schemes for Recursion Elimination in Backus’ FP-Systems. Ann. Sofia Univ. Fac. Math. and Inf. 1992, 83 (1), 39-49.