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