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