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