Makkai M. and G. E. Reyes (1976). Model-theoretic methods in the theory of topos
and related categories II. Bull. Acad. Polon. Sciences, 385-392.
« Model-theoretic methods in the theory of topos and related categories • Sheaves and concepts: a model-theoretic interpretation of Grothendieck topoi »