Functional differential geometry - Sussman, Gerald Jay (The MIT Press, 2013)