Nieminen, T. (1963). On the completion of uniform spaces. Annales Fennici Mathematici, (333). https://doi.org/10.5186/aasfm.1963.333