On the equivalence of some approaches to computability on the real line (1999)

by D Spreen, H Schulz
Venue:Domains and Processes. Proceedings of the first international symposion on domain theory