Моисеев, М. Ю. Итеративный алгоритм статического анализа для обнаружения дефектов в исходном коде программ. Информационно-управляющие системы, вып. 3, June 2009, сс. 33-39, http://proceedings.spiiras.nw.ru/index.php/ius/article/view/14846.