Claude Bolduc, Josée Desharnais: Static Analysis of Programs Using Omega Algebra with Tests. RelMiCS 2005: 60-72