Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher. Relating First-order Set Theories and Elementary Toposes. Bulletin of Symbolic Logic, 13(3):340-358, 2007. [doi]
@article{AwodeyBSS07,
title = {Relating First-order Set Theories and Elementary Toposes},
author = {Steven Awodey and Carsten Butz and Alex Simpson and Thomas Streicher},
year = {2007},
url = {http://www.math.ucla.edu/~asl/bsl/1303/1303-002.ps},
researchr = {https://researchr.org/publication/AwodeyBSS07},
cites = {0},
citedby = {0},
journal = {Bulletin of Symbolic Logic},
volume = {13},
number = {3},
pages = {340-358},
}