https://123dok.org/document/zwvrp0jg-real-number-computability-and-domain-theory.html