1. Abstract interpretation, logical relations and Kan extensions;Abramsky;J. Logic Comput.,1990
2. Domain theory;Abramsky,1994
3. Another look at the localic Tychonoff Theorem;Banaschewski;Comm. Math. Univ. Carolin.,1988
4. Introduction to Lattices and Order;Davey,1990