Моисеев, М. Ю. Итеративный алгоритм статического анализа для обнаружения дефектов в исходном коде программ. ИУС 2009, 33-39.