Moiseev, M. 2009. Iterative static analysis algorithm for source code defects detection. Information and Control Systems. 3 (Jun. 2009), 33-39.