Пучков Ф.М. Методы и средства автоматизированного обнаружения уязвимостей в программах на языке C на основе статического анализа их исходных текстов : автореф. дис. .. канд. физ.-мат. наук: 05.13.19 / Ф. М. Пучков, 2010. - 24 с. - Текст : непосредственный.