Algebraic set theory - Joyal, André 1943-; Moerdijk, Ieke (Cambridge Univ. Press, 1995)