1992. Schemes for recursion elimination in Backus’ FP-Systems. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 83, 1 (Dec. 1992), 39–49.