Manukian, S.N. 2021. On an Algebraic Classification of Multidimensional Recursively Enumerable Sets Expressible in Formal Arithmetical Systems. Mathematical Problems of Computer Science. 41, (Dec. 2021), 103–113.