Раздельная верификация объектно-ориентированных программ с построением протокола С++ класса в терминах сетей Петри
Д. И. Харитонов

Эта публикация цитируется в следующих статьяx:

1. Д. В. Леонтьев, Д. И. Харитонов, “Построение сокращенного дерева достижимости для моделей программ в терминах сетей Петри”, Системы и средства информ., 32:2 (2022), 23–35    
2. Разумовский А.Г., Пантелеев М.Г., “Валидация объектно-ориентированных программ с использованием онтологии”, Программная инженерия, 2012, № 7, 7–13