Moiseev, M. (2009) “Iterative static analysis algorithm for source code defects detection”, Information and Control Systems, (3), pp. 33-39. Available at: https://i-us.ru/index.php/ius/article/view/14846 (Accessed: 12November2026).