И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “О позитивных и однозначных вычислимых нумерациях в гиперарифметике”, Алгебра и логика, 59:1 (2020), 66–83 ; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Computable positive and Friedberg numberings in hyperarithmetic”, Algebra and Logic, 59:1 (2020), 46–58