Mariko Yasugi Yoshiki Tsujii Takakazu Mori Metrization of the Uniform Space and Effective Convergence. 123-130 2002 48 Math. Log. Q. S1 http://dx.doi.org/10.1002/1521-3870(200210)48:1+<123::AID-MALQ123>3.0.CO;2-W db/journals/mlq/mlq48.html#YasugiTM02