"Compact Representations for Control Dependence."

Ron Cytron, Jeanne Ferrante, Vivek Sarkar (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics