Composing programs in a rewriting logic for declarative programming | Publicación