T. Nieminen, “On the completion of uniform spaces”, Ann. Fenn. Math., no. 333, Jan. 1963.