1. Typesetting REDUCE output with TEX — a REDUCE-TEX-interface;Antweiler,1988
2. Las systèmes différentielles extérieurs et leurs applications géométriques;Cartan,1945
3. Techniques in partial differential equations;Chester,1971
4. Analysis, manifolds and physics;Choquet-Bruhat,1982