Antoine Miné: Weakly Relational Numerical Abstract Domains. (Domaines numériques abstraits faiblement relationnels). École Polytechnique, Palaiseau, France 2004