Nonholonomic motion of rigid mechanical systems from a DAE viewpoint - Rabier, Patrick, author (Society for Industrial and Applied Mathematics, 2000)