Static correction of Maude programs with assertions | Publicación