1. Domain Theory;Abramsky,1994
2. The classification of continuous domains;Jung,1990
3. Consistent Hoare powerdomains over dcpos;Geng;Topol. Appl.,2017
4. Continuous Lattices and Domains;Gierz,2003
5. Linear types and approximation;Huth;Math. Struct. Comput. Sci.,2000