@article{ABSS:14,
  journal = {Annals of Pure and Applied Logic},
  number = {2},
  volume = {165},
  year = {2014},
  pages = {428-502},
  title = {Relating first-order set theories, toposes and categories of
           classes.},
  author = {Awodey, Steve and Butz, Carsten and Simpson, Alex and Streicher,
            Thomas},
}