Código en Maude :