Skordev, D. “ON THE REDUCTION OF POLYADIC RECURSIVE PROGRAMS TO MONADIC ONES”. Ann. Sofia Univ. Fac. Math. And Inf., vol. 82, no. 1, Dec. 1991, pp. 173-81, https://ftl5.uni-sofia.bg/index.php/fmi/article/view/526.