1. J. Belanger, M. Hausdorf and W.M. Seiler. A MuPAD library for differential equations. This proceedings.
2. K.E. Brenan, S.L. Campbell, and L.R. Petzold. Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. Classics in Applied Mathematics 14. SIAM, Philadelphia, 1996.
3. J. Calmet, M. Hausdorf, and W.M. Seiler. A constructive introduction to involution. In Proc. Int. Symp. Applications of Computer Algebra-ISACA’ 2000. World Scientific, Singapore, to appear.
4. S.L. Campbell and C.W. Gear. The index of general nonlinear DAEs. Numer. Math., 72:173–196,1995.
5. E. Hairer, C. Lubich, and M. Roche. The Numerical Solution of DifferentialAlgebraic Equations by Runge-Kutta Methods. Lecture Notes in Mathematics 1409. Springer-Verlag, Berlin, 1989.