"Static Reasoning about Programs and Queries."

Todd D. Millstein (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics