S. N. . Manukian, “On an Algebraic Classification of Multidimensional Recursively Enumerable Sets Expressible in Formal Arithmetical Systems”, MPCS, vol. 41, pp. 103–113, Dec. 2021.