@article{SCAM-J-2005-BinkleyDGHKK06,
	author        = "David Binkley and Sebastian Danicic and Tibor Gyimóthy and Mark Harman and Ákos Kiss and Bogdan Korel",
	doi           = "10.1016/j.scico.2006.04.007",
	journal       = "{Science of Computer Programming}",
	number        = 3,
	pages         = "228--252",
	title         = "{A formalisation of the relationship between forms of program slicing}",
	volume        = 62,
	year          = 2006,
}