Ákos Hajnal and I. Forgács, “Understanding program slices”, Acta Cybern, vol. 20, no. 4, pp. 483-497, Jan. 2012.