Effective metric spaces and representations of the reals.
scientific article; zbMATH DE number 1774167