Radensky, Atanas, and Milena Djambazova. 1992. “Schemes for Recursion Elimination in Backus’ FP-Systems”. Ann. Sofia Univ. Fac. Math. And Inf. 83 (1):39-49. https://annual.uni-sofia.bg/index.php/fmi/article/view/484.