ЕВНЕВИЧ,; ПЕРМИНОВ,; БЕЛАШ,; ВНУКОВ,. Анализ уязвимостей программного кода методом шаблонов. Труды СПИИРАН, n. 7, p. 160-169, 1 abr. 2008.