Definite and indefinite integration, int:

Geddes, K.O.; Czapor, S.R.; and Labahn G. Algorithms for Computer Algebra. Boston: Kluwer Academic Publishers, 1992.

Geddes, K.O.; Glasser, M.L.; Moore, R.A.; and Scott, T.C. "Evaluation of Classes of Definite Integrals Involving Elementary Functions Via Differentiation of Special Functions." Applicable Algebra in Engineering, Communication and Computing. Vol. 1 No. 2. (1990): 149-165.

Geddes, K.O., and Scott, T.C. "Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms." In Computers and Mathematics, edited by E. Kaltofen and S.M. Watt. Vol. 192-201. New York: Springer-Verlag, 1989.

Scott, Tony. "Recipes for Solving Definite Integrals Involving Exponentials and Logarithms (Part II)." The Maple Technical Newsletter. Vol. 5. (1991): 16-23.

Numerical integration, evalf/int:

Geddes, K.O. "Numerical Integration in a Symbolic Context." Proceedings of SYMSAC '86, edited by B.W. Char. Vol. 185-191. New York: ACM Press, 1986.

Geddes, K.O. "Numerical Integration Using Symbolic Analysis." Maple Technical Newsletter, Vol. 6. (1991): 8-17.

Geddes, K.O. "Remark on Algorithm 424: Clenshaw-Curtis Quadrature." ACM Trans. Math. Software. Vol. 5 No. 2. (1979): 240.

Gentleman, W.M. "Algorithm 424: Clenshaw-Curtis Quadrature." ACM. Vol. 15 No. 5. (1972): 353-355.