"Constraint-Based Inter-Procedural Analysis of Parallel Programs."

Helmut Seidl, Bernhard Steffen (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics