Steven Awodey Carsten Butz Alex Simpson Thomas Streicher Relating First-order Set Theories and Elementary Toposes. 340-358 2007 13 Bulletin of Symbolic Logic 3 http://www.math.ucla.edu/~asl/bsl/1303/1303-002.ps db/journals/bsl/bsl13.html#AwodeyBSS07