Recent synthetic differential geometry - Busemann, Herbert, 1905- (Springer-Verlag, 1970)