"A formalisation of the relationship between forms of program slicing."

David W. Binkley et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics