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