"Parametric and Termination-Sensitive Control Dependence."

Feng Chen, Grigore Rosu (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics