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