T. Gawlitza and D. Monniaux, Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs, Logical Methods in Computer Science, vol.8, issue.3, 2012.
DOI : 10.2168/LMCS-8(3:29)2012

N. Halbwachs, Détermination automatique de relations linéaires vérifiées par les variables d'un programme, p.288805, 1979.

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78
DOI : 10.1145/512760.512770

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790