Recent synthetic differential geometry - Busemann, Herbert, 1905-1994 (Ergebnisse der mathematik und ihrer Grenzgebiete ;, 1970)