A monadic program slicer | Publicación