G. E. Reyes (1977). Sheaves and concepts: a model-theoretic interpretation of
Grothendieck topoi. Cahiers de Top. et Geom. diff. Vol XVIII, 2, 105-137.
« Model-theoretic methods in the theory of topos and related categories II • Doctrines in categorical logic »