Geometry Of Nonholonomically Constrained Systems by Richard H. Cushman, Jedrzej Sniatycki & Hans Duistermaat