1. Domain theory;Abramsky,1994
2. The space of formal balls and models of quasi-metric spaces;Ali-Akbari;Math. Struct. Comput. Sci.,2009
3. Domain-complete and LCS-complete spaces;de Brecht;Electron. Notes Theor. Comput. Sci.,2019
4. A computational model for metric spaces;Edalat;Theor. Comput. Sci.,1998
5. Continuous Lattices and Domains;Gierz,2003