Danicic Sebastian; Barraclough Richard W.; Harman Mark; Howroyd John D.; Kiss Ákos; Laurence Michael R.:
A unifying theory of control dependence and its application to arbitrary program structures.
Theoretical Computer Science, 412 (49).
pp. 6809-6842.
ISSN 0304-3975
(2011)