1. Lecture Notes in Computer Science;P. Cousot,2002
2. http://www.lri.fr/~moy/publis/moy08vmcai-ext.pdf
3. Lecture Notes in Computer Science;J.C. Filliâtre,2007
4. Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Proc. POPL 1978, pp. 84–96. ACM, New York (1978)
5. Suzuki, N., Ishihata, K.: Implementation of an array bound checker. In: Proc. POPL 1977, pp. 132–143. ACM, New York (1977)