@incollection{St:05b,
  author = {T. Streicher},
  booktitle = {From sets and types to topology and analysis},
  year = 2005,
  publisher = {Oxford University Press},
  editor = {Crosilla, L. and Schuster, P.},
  pages = {78-90},
  title = {Universes in Toposes},
}