Просьба отрецензировать статьи для "Педагогической энциклопедии".

"Специализированная модель параллельных асинхронных вычислений".

"Модуль загрузки как остаточная программа".

/Текст рукописный, черновой вариант./

"Резидентная технологическая система разработки управляющих программ для микро-ЭВМ".

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

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

"Опыт разработки и применения профессиональных (персональных) ЭВМ".

"Использование смешанных вычислений в трансляторе с реляционного языка".

"Анализ параллелизма процесса трансляции в определенном семействе языков".

"От детерминанта вычислимой функции - к качественной параллельной программе".

к разработке смешанного вычислителя в рамках МО МВК "Эльбрус" в ИТМ и ВТ АН СССР.

"On Lambda-calculus with an Assignment Operator" и сопроводительное письмо.

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

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

"Анализ метаязыковых описаний на основе смешанных вычислений".

"Анализ потока данных для программ обработки списков".

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

"Смешанные вычисления в типах данных".