Algebraic set theory /
Joyal, A.(André)
Moerdijk, I.(Ieke)
Cambridge : Cambridge University Press,
1995.
Bibliography: p.117-119
Set theory.