@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}
}
