ШУДРАК, М. О.; ЗОЛОТАРЕВ, В. В. Модель, алгоритмы и программный комплекс автоматизированного поиска уязвимостей в исполняемом коде. Труды СПИИРАН, v. 5, n. 42, p. 212-231, 15 out. 2015.