Reduction strategies in rewriting and programming | Publicación