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