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