| Title | A unifying theory of control dependence and its application to arbitrary program structures | 
| Publication Type | Journal Article | 
| Year of Publication | 2011 | 
| Authors | Danicic S, Barraclough R, Harman M, Howroyd JD, Kiss Á, Laurence M | 
| Journal | Theoretical Computer Science | 
| Volume | 412 | 
| Pagination | 6809–6842 | 
  Page last modified: January 16, 2012  
  