Algebraic Set Theory (1995)

by A Joyal, I Moerdijk