Constructive theory of valuations | Publicación