Sebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss 0001, Michael R. Laurence. A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science, 412(49):6809-6842, 2011. [doi]
Abstract is missing.