Kock A. and G. E. Reyes (1979). Manifolds in formal differential geometry. In
Fourman M. P. et al (eds.). Applications of Sheaves (Proceedings, Durham 1977).
LNM 753. Berlin : Springer-Verlag, 514-533.