"Поливариантные смешанные вычисления для анализаторных программ".

"Смешанные вычисления как инструментальное средство".

"Семантика функциональных спецификаций и смешанные вычисления".

"Использование структурно-вычислительного определения семантики для трансляции".

"Роль теоретической модели базового языка".

"Преобразования доказательств как преобразования программ" (2-й вариант).

"Преобразования доказательств как преобразования программ" (1-й вариант).

"Вопросы корректности смешанных вычислений на примере языка ИНКОЛ".

"Архитектурные особенности М-РТК".

"Смешанные вычисления в техническом комплексе разработки программного обеспечения микро-ЭВМ на объектно-ориентированных языках".

"Смешанные вычисления и проверка правильности программ".

"О сущности смешанных вычислений".

"Алгебра смешанного выполнения программ".