Algebraic set theory - Joyal, Andre (London Mathematical Society lecture note series ;, 1995)