Kock A. and G. E. Reyes (1979). Connections in formal differential geometry.
In Kock A. (ed.). Topos theoretic methods in Geometry (Proceedings of the Open
House on Topos theoretic methods in Geometry and Analysis, Aarhus, may 1978,
Denmark). Aarhus: Various Publication Series No. 30, 158-195.