Klaus Weihrauch Ulrich Schreiber Embedding Metric Spaces Into CPO's. 5-24 1981 16 Theor. Comput. Sci. db/journals/tcs/tcs16.html#WeihrauchS81