Recent synthetic differential geometry - Busemann, Herbert (Ergebnisse der mathematik und ihrer grenzgebiete, 1970)