Родин, А. В. «ТЕОРИЯ ТИПОВ МАРТИНА-ЛЁФА КАК МУЛЬТИАГЕНТНАЯ ФОРМАЛЬНАЯ ЭПИСТЕМИЧЕСКАЯ СИСТЕМА». Эпистемология и философия науки, т. 55, вып. 4, март 2019 г., с. 44–47, https://journal.iphras.ru/article/view/2359.