Generalized ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding (1995)

by M M Bonsangue F van Breugel, J J M M Rutten
Venue:15] F. Borceux, Handbook of Categorical Algebra 2: Categories and Structures