The Semantics of Abstract Program Slicing | Publicación