МОИСЕЕВ, М. Ю. Итеративный алгоритм статического анализа для обнаружения дефектов в исходном коде программ. Информационно-управляющие системы, n. 3, p. 33-39, 19 jun. 2009.