Nonholonomic Mechanics and Control by Jerrold E. Marsden, Anthony Bloch & John Baillieul