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