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