Damiano Zanardini The Semantics of Abstract Program Slicing. 89-98 2008 SCAM http://dx.doi.org/10.1109/SCAM.2008.19 conf/scam/2008 db/conf/scam/scam2008.html#Zanardini08