- Lev Dmitrievich Beklemishev, “Исчисление для схем рефлексии и спектры консервативности”, Успехи математических наук, 73, no. 4(442), 2018, 3

- L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russ. Math. Surv., 73, no. 4, 2018, 569

- Mateusz ŁeŁyk, Carlo Nicolai, “Implicit commitment in a general setting”, Journal of Logic and Computation, 2023, exad025
