Anthony Bloch, P. Crouch, J. Baillieul, and J. Marsden. Nonholonomic Mechanics and Control. Systems and Control. Springer, April 8 2003.