@article{BeSt:03,
  title = {Partial Toposes},
  pages = {309-320},
  journal = {Theory Appl.~Categ.},
  author = {J. B\'enabou and T. Streicher},
  year = {2003},
  volume = {11},
}