на статью А.В. Гроха "Смешанные вычисления и проверка правильности программ"; в приложении - сопроводительное письмо, справка и служебная записка.

на статью С.С. Лаврова "О сущности смешанных вычислений"; в приложении - авторская справка.

на статью Н.Н. Непейводы "Преобразования доказательств как преобразования программ".

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