Статья

Beckmann, Arnold.
Safe recursive set functions / A. Beckmann, S. R. Buss, S. Friedman // The Journal of Symbolic Logic. – 2015. – Vol.80, № 3. – P. 730-762.