A unified approach to algebraic set theory (2007)

by B van den Berg, I Moerdijk
Venue:the proceedings of the Logic Colloquium 2006, arXiv:0710.3066