1. ATESAT: A symbolic processor for artificial satellite theory;Abad;Math. Comput. Simulation,1998
2. D. Barton, I.M. Williers, R.V.M. Zahar, Taylor Series Methods for Ordinary Differential Equations, ACM Monograph Series, Mathematical Software, 1971, pp. 369–390
3. Construction of rational and negative powers of a formal series;Broucke;Commun. ACM,1971
4. H.T. Davis, Introduction to Nonlinear Differential and Integral Equations, Dover, New York, 1962
5. The computation of characteristic exponents in the Planar Restricted Problem of Three Bodies;Deprit;Astron. J.,1965