@article{MS:15,
  author = {Maschio, Samuele and Streicher, Thomas},
  title = {Models of intuitionistic set theory in subtoposes of nested
           realizability toposes},
  pages = {729-739},
  volume = {166},
  year = {2015},
  journal = {Annals of Pure and Applied Logic},
  number = {6},
}