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.