@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}
}
@article {binkley:relationship,
	title = {A Formalisation of the Relationship between Forms of Program Slicing},
	journal = {Science of Computer Programming},
	volume = {62},
	number = {3},
	year = {2006},
	month = {oct},
	pages = {228{\textendash}252},
	publisher = {elsevier},
	keywords = {relate:quality},
	author = {D. Binkley and S. Danicic and Tibor Gyim{\'o}thy and M. Harman and {\'A}kos Kiss and B. Korel}
}
@article {binkley:foundations,
	title = {Theoretical Foundations of Dynamic Program Slicing},
	journal = {Theoretical Computer Science},
	volume = {360},
	number = {1{\textendash}3},
	year = {2006},
	month = {aug},
	pages = {23{\textendash}41},
	publisher = {elsevier},
	author = {D. Binkley and S. Danicic and Tibor Gyim{\'o}thy and M. Harman and {\'A}kos Kiss and B. Korel}
}
@conference {binkley:minimal,
	title = {Minimal Slicing and the Relationships between Forms of Slicing},
	booktitle = {Proceedings of the 5th {IEEE} International Workshop on Source Code Analysis and Manipulation ({SCAM} 2005)},
	year = {2005},
	note = {Best paper award},
	pages = {45{\textendash}54},
	publisher = {ieeecs},
	organization = {ieeecs},
	address = {Budapest, Hungary},
	keywords = {relate:quality},
	author = {D. Binkley and S. Danicic and Tibor Gyim{\'o}thy and M. Harman and {\'A}kos Kiss and B. Korel}
}
@conference {binkley:formalizing,
	title = {Formalizing Executable Dynamic and Forward Slicing},
	booktitle = {Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004)},
	year = {2004},
	pages = {43{\textendash}52},
	publisher = {ieeecs},
	organization = {ieeecs},
	address = {Chicago, Illinois, USA},
	author = {D. Binkley and S. Danicic and Tibor Gyim{\'o}thy and M. Harman and {\'A}kos Kiss and L. Ouarbya}
}
