Dubuc E. and G. E. Reyes (1979). Subtoposes of the ring classifier. In Kock A. (ed.).
Topos theoretic methods in Geometry. Aarhus: Various Publication Series No. 30,
101-122.
« Cramer’s rule in the Zariski topos • Manifolds in formal differential geometry »