Extending valuations to formal completions | Publicación