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]
@article{DanicicBHHKL11,
title = {A unifying theory of control dependence and its application to arbitrary program structures},
author = {Sebastian Danicic and Richard W. Barraclough and Mark Harman and John Howroyd and Ákos Kiss 0001 and Michael R. Laurence},
year = {2011},
doi = {10.1016/j.tcs.2011.08.033},
url = {http://dx.doi.org/10.1016/j.tcs.2011.08.033},
researchr = {https://researchr.org/publication/DanicicBHHKL11},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {412},
number = {49},
pages = {6809-6842},
}