Ошурко В. Б. , Киссер А. Э. , Кречет В. Г. «Динамика спинирующих частиц в вихревом гравитационном поле» // Известия вузов. Физика 2022. №9 C.92-100
Веретнов С. О. , Непомнящий В. А. , Бодин Е. В. «Анализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REAL» // Вестник ТГУ. УВТиИ 2020. №53 C.118-126