Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset. ILPS 1994: 655-669