1. Domain theory in logical form;Abramsky;Ann. Pure Appl. Log.,1991
2. Distributive Lattices;Balbes,1974
3. Exact categories;Barr;Lect. Notes Math.,1971
4. Toposes, Triples and Theories;Barr,1985
5. A non-commutative Priestley duality;Bauer;Topol. Appl.,2013