Functional Differential Geometry - Sussman (IEEE, 2003)