Recent synthetic differential geometry - Busemann Herbert (New York Springer-Verlag, 1970)
Keywords: Differential Geometry