Pattern-based Rewriting through Abstraction | Publicación