Additionally by Sussman is Functional Differential Geometry. This builds on work from SICM and delves into ideas of Relativity.