| [1] | H. Le Verge. A note on Chernikova's Algorithm. July 27, 1994. |
| [2] | P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th ACM Symposium on Principles of Programming Languages , POPL'78 , Tucon (Arizona), January 1978. |
| [3] | N. Halbwacht, Y.E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design , 11(2):157-185, 1997. |
| [4] | Бирюков С.И. Оптимизация. Элементы теории. Численные методы. МЗ-Пресс, 2003. |
