Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos and Korel, Bogdan. 2006. Theoretical foundations of dynamic program slicing. Theoretical Computer Science, 360(1-3), pp. 23-41. ISSN 03043975 [Article]

Binkley, Dave; Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen. 2006. A formal relationship between program slicing and partial evaluation. Formal Aspects of Computing, 18(2), pp. 103-119. ISSN 09345043 [Article]

Danicic, Sebastian; Binkley, Dave; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos and Korel, Bogdan. 2005. Minimal slicing and the relationships between forms of slicing. In: , ed. 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 05). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 45-54. [Book Section]

Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos; Ouarbya, Lahcen and Binkley, Dave. 2004. Formalizing executable dynamic and forward slicing. In: , ed. 4th International Workshop on Source Code Analysis and Manipulation (SCAM 04). , Los Alamitos, California, USA: IEEE Computer Society Press, pp. 43-52. [Book Section]

Harman, Mark; Fox, Chris; Hierons, Robert; Binkley, Dave and Danicic, Sebastian. 1999. Program simplification as a means of approximating undecidable propositions. In: , ed. 7th IEEE International Workshop on Program Comprenhesion (IWPC'99). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 208-217. [Book Section]