Евневич,, Перминов,, Белаш,, Внуков,: Анализ уязвимостей программного кода методом шаблонов. Труды СПИИРАН(7), 160-169 (2008). doi:10.15622/sp.7.15