1. R. Bott and L.W. TuDifferential Forms in Algebraic Topology.Corr. 3rd printing (Springer: Berlin, 1995).
2. W.L. BurkeApplied Differential Geometry(Cambridge University Press: Cambridge, 1985).
3. B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan, and S.M. WattFirst Leaves: A Tutorial Introduction to Maple V(Springer, New York, 1992).
4. Y. Choquet-Bruhat, C. DeWitt-Morette, and M Dillard-BleickAnalysis
Manifolds and Physicsrevised ed. (North-Holland: Amsterdam, 1982).
5. J. Grabmeier, E. Kaltofen, and V. Weispfenning, eds.Computer Algebra Handbook:Foundations, Applications, Systems (Springer: Berlin, 2003).