Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (1998)

by M M Bonsangue, F van Breugel, J J M M Rutten
Venue:Theoretical Computer Science