"Data dependencies and program slicing: from syntax to abstract semantics."

Isabella Mastroeni, Damiano Zanardini (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics