Programming and symbolic computation in Maude | Publicación