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