Imposing assertions in Maude via program transformation | Publicación