Moerdijk I. and G. E. Reyes (1987). A smooth version of the Zariski topos. Adv. in
Math. Vol 65. No.3, 229-253.