- 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