Algebraic Set Theory (Cambridge Univ (1995)

by A Joyal, I Moerdijk