Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing | Publicación