- ANTONIO MONTALBÁN, JAMES WALSH, “ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR”, J. symb. log., 84, № 1, 2019,
205 
- L. D. Beklemishev, Turing’s Revolution, 2015,
225 - Sergei Artemov, 3, Handbook of Modal Logic, 2007,
927 - FEDOR PAKHOMOV, JAMES WALSH, “REFLECTION RANKS AND ORDINAL ANALYSIS”, J. symb. log., 86, № 4, 2021,
1350