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