Moerdijk I. and G. E. Reyes (1983). Cohomology theories in synthetic differential
geometry. In A. Kock (ed.). Proc. Workshop on category theoretic methods in
Geometry. Aarhus: Various Publications, 1-67.