"A Calculational Approach to Control-Flow Analysis by Abstract Interpretation."

Jan Midtgaard, Thomas P. Jensen (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics