Composing Programs in a Rewriting Logic for Declarative Programming | Publicación