Nieminen, T. “On the Completion of Uniform Spaces”. Annales Fennici Mathematici, no. 333, Jan. 1963, doi:10.5186/aasfm.1963.333.