“Schemes for Recursion Elimination in Backus’ FP-Systems”. 1992. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics 83 (1): 39-49. https://annual.uni-sofia.bg/index.php/fmi/article/view/484.