Quasi-uniformities: Reconciling domains with metric spaces (1988)

by M B Smyth
Venue:In: Proc. MFPS 3, Lecture Notes in Computer Science 298