@article {danicic:unifying, title = {A unifying theory of control dependence and its application to arbitrary program structures}, journal = {Theoretical Computer Science}, volume = {412}, number = {49}, year = {2011}, pages = {6809{\textendash}6842}, author = {S. Danicic and R. Barraclough and M. Harman and J. D. Howroyd and {\'A}kos Kiss and M. Laurence} }