1. A Cook's tour of the finitary non-well-founded sets;Abramsky,1988
2. Domain theory in logical form;Abramsky,1991
3. Domain theory;Abramsky,1994
4. Abstract and concrete categories: the joy of cats;Adámek;Repr. Theory Appl. Categ.,2006
5. Distributive Lattices;Balbes,1974