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