Моисеев, М.Ю.: Итеративный алгоритм статического анализа для обнаружения дефектов в исходном коде программ. Информационно-управляющие системы(3), 33-39 (2009)