Moiseev, Mikhail. 2009. “Iterative Static Analysis Algorithm for Source Code Defects Detection”. Information and Control Systems, no. 3 (June), 33-39. https://i-us.ru/index.php/ius/article/view/14846.