1. Moiseev M. Iterative static analysis algorithm for source code defects detection // Information and Control Systems. 2009. № 3. C. 33-39.