Parameterized Strategies Specification in Maude | Publicación