MOISEEV, M. Iterative static analysis algorithm for source code defects detection. Information and Control Systems, n. 3, p. 33-39, 19 jun. 2009.