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