1. Classifying toposes for first-order theories;Butz;Ann. Pure Appl. Logic,1998
2. O. Caramello, Lattices of theories (2009). arXiv:math.CT/0905.0299.
3. O. Caramello, One topos, many sites (2009). arXiv:math.CT/0907.2361.
4. Sketches of an Elephant: A Topos Theory Compendium, vol. 1;Johnstone,2002
5. Sketches of an Elephant: A Topos Theory Compendium, vol. 2;Johnstone,2002