Localic completion of generalized metric spaces I. Vickers, Steven (2005) Theory and Applications of Categories [electronic only]