1. Krantz, S.G. and Parks, H.R. (2002), The Implicit Function Theorem, History, Theory and Applications, Birkhäuser, Boston.
2. Poincaré, H. (1892, 1893, 1899), Les Méthodes Nouvelles de la Mécanique Céleste, 3 vols., Gauthier-Villars, Paris.
3. Presler, W.H and Broucke, R. (1981a), Computerized formal solutions of dynamical systems with two degrees of freedom and an application to the Contopoulos potential. I. The exact resonance case, Comput. Math. Appl. 7, pp. 451–471.
4. Presler, W.H and Broucke, R. (1981b), Computerized formal solutions of dynamical systems with two degrees of freedom and an application to the Contopoulos potential. II. The near-resonance case, Comput. Math. Appl. 7, pp. 473–485.
5. Rand, R. H. (1994), Topics in Nonlinear Dynamics with Computer Algebra, Gordon and Breach, New York.