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