Helmut Schwichtenberg, “2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06”, Bull. symb. log., 13:2 (2007), 251
И. Ш. Калимуллин, В. Г. Пузаренко, “О принципах вычислимости на допустимых множествах”, Матем. тр., 7:2 (2004), 35–71 ; I. Sh. Kalimullin, V. G. Puzarenko, “Computability Principles on Admissible Sets”, Siberian Adv. Math., 15:4 (2005), 1–33