Completeness of Hutton [0,1]-quasi-uniform spaces | Publicación