1. Galois connections and fixed point calculus;Backhouse,2000
2. Certified result checking for polyhedral analysis of bytecode programs;Besson,2010
3. Fast inference of polynomial invariants for imperative programs;Cachera,2011
4. Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases;Cachera,2012
5. Polynomial approximations of the relational semantics of imperative programs;Colón;Sci. Comput. Program.,2007