"A New Class of Functions for Abstract Interpretation."

Jörg Köller, Markus Mohnen (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics