A minimalistic look at widening operators

David Monniaux A minimalistic look at widening operators http://arxiv.org/abs/0902.3722 2009 CoRR abs/0902.3722 db/journals/corr/corr0902.html#abs-0902-3722 informal publication