об алгебраических моделях и программных средствах
Международная научно-техническая конференция “Методы и средства повышения надежности приборов, устройств и систем”: Тез. докл.. – Пенза, 1995 С.77

Описывается основанная на логико-алгебраическом подходе математическая модель для представления управляющих алгоритмов и программ реального времени, предназначенных для координации работы бортовой аппаратуры космических аппаратов. Предлагается модель семантики управляющего алгоритма реального времени. Приводится формальная теория (исчисление) управляющих алгоритмов. Рассмотрены примеры описания параллельных управляющих алгоритмов с помощью основанной на предлагаемой модели инструментальной графической программной системы
Вестник Самарского государственного технического университета. Серия: Физико-математические науки. 2005. № 38. С. 19-25.