О полурешетках вычислимых индексаций классов конструктивных моделей В.П. Добрица (1987) Algebra i Logika
Об ошибке в статье И.И. Жегалкина "Проблема разрешимости на конечных классах" В.Ф. Костырко (1962) Algebra i Logika