Real number computability and domain theory
scientific article; zbMATH DE number 930724