R. J. Fateman and B. Char, "Problem solving environments and symbolic computing," in Enabling Technologies for Computational Science: Frameworks, Middleware and Environments, E. Houstis, S. Gallopolous, J. R. Rice, and R. Bramley, Eds., 1 ed., Vol. 548, Norwell, MA: Kluwer Academic Publishers, 2000, pp. 19-43.
R. J. Fateman, K. A. Broughan, D. K. Willcock, and D. Rettig, "Fast floating-point processing in Common Lisp," ACM Trans. Mathematical Software, vol. 21, no. 1, pp. 26-62, March 1995.
R. J. Fateman and W. M. Kahan, "Improving Exact Integrals from Symbolic Algebra," University of California, Berkeley, Department of Mathematics, Center for Pure and Applied Mathematics, Tech. Rep. UCB/CPAM-86-386, Aug. 1986.