1. *-Autonomous categories, with an appendix by Po Hsiang Chu;Barr,1979
2. *-Autonomous categories and linear logic;Barr;Mathematical Structures in Computer Science,1991
3. Introduction to Latices and Order;Davey,2002
4. Matroids and antimatroids – a survey;Dietrich;Discrete Mathematics,1989
5. General Topology;Engelking,1976