@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} } @article {barraclough:strict, title = {A Trajectory-based Strict Semantics for Program Slicing}, journal = {Theoretical Computer Science}, volume = {411}, number = {11{\textendash}13}, year = {2010}, pages = {1372{\textendash}1386}, publisher = {elsevier}, author = {R. W. Barraclough and D. Binkley and S. Danicic and M. Harman and R. M. Hierons and {\'A}kos Kiss and M. Laurence and L. Ouarbya} }