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