D. Skordev, “ON THE REDUCTION OF POLYADIC RECURSIVE PROGRAMS TO MONADIC ONES”., Ann. Sofia Univ. Fac. Math. and Inf., vol. 82, no. 1, pp. 173–181, Dec. 1991.