Статья

Schweber, Noah.
Transfinite recursion in higher reverse mathematics / N. Schweber // The Journal of Symbolic Logic. – 2015. – Vol.80, № 3. – P. 940-969.