A Formal Method for Program Slicing | Publicación