1. The ATOMCC toolbox;Chang;BYTE,1986
2. Automatic solution of differential equations;Chang,1974
3. G. F. Corliss, Computing narrow inclusions for definite integrals, in Proceedings of Conference on Computer Arithmetic, Scientific Computation, and Programming Languages (Karlsruhe, 1985), edited by E. Kaucher, U. Kulisch,. and C. Ullrich, Wiley-Teubner, Stuttgart, 1987, 150–179.
4. G. F. Corliss, Performance of self-validating quadrature, in Proceedings of the NATO Advanced Workshop on Numerical Integration: Recent Developments, Software, and Applications, edited by P. Keast and G. Fairweather, Reidel, 1987, 239–259.
5. Solving ordinary differential equations using Taylor series;Corliss;ACM Trans. Math. Software,1982