Executable structural operational semantics in Maude | Publicación