Bob Flagg Ralph Kopperman Continuity Spaces: Reconciling Domains and Metric Spaces. 111-138 1997 177 Theor. Comput. Sci. 1 db/journals/tcs/tcs177.html#FlaggK97 http://dx.doi.org/10.1016/S0304-3975(97)00236-3