A double completion for an arbitrary T0-quasi-metric space. - Hans-Peter A. Künzi; Charly Makitu Kivuvu (J. Log. Algebraic Methods Program., 2008)