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