"Semantic Hierarchy Refactoring by Abstract Interpretation."

Francesco Logozzo, Agostino Cortesi (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics