@article{ABSS07,
  journal = {Bulletin of Symbolic Logic},
  number = {3},
  year = {2007},
  volume = {13},
  title = {Relating first-order set theories and elementary toposes},
  pages = {340-358},
  author = {Awodey, Steve and Butz, Carsten and Simpson, Alex and Streicher,
            Thomas},
}