Algebraic models of intuitionistic theories of sets and classes. Awodey, S.; Forssell, H. — 2005 Theory and Applications of Categories [electronic only]