G. E. Reyes (1978). Théorie des modèles et faisceaux. Advances in Math. Vol 30.
No.2, 156-170.