1. Itsykson V., Moiseev M., Tsesko V., Zakharov A., Akhin M. Interval analysis algorithm for source code defect detection // Information and Control Systems. 2009. № 2. C. 34-41.