"Modular Control Flow Analysis for Libraries."

Christian W. Probst (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics