Text this: Geometry of nonholonomically constrained systems / Richard Cushman, Hans Duistermaat, Jędrzej Śniatycki.