Formal Computation of Non-Rigid Multibody Systems Dynamics. - Rémi Cozot; Dominique Villard (ESM, 1996)

ADrien: An Implementation of Automatic Differentiation in Maple. - Dominique Villard; Michael B. Monagan (ISSAC, 1999)