1. Categories, Allegories;Freyd,1990
2. A Formalization of Set Theory Without Variables;Tarski,1987
3. A Category Theory Approach to Conceptual Data Modeling;Lippe,1994
4. Selective attribute elimination for categorical data specifications;Piessens,1997