1. G. Alefeld, Inclusion methods for systems of nonlinear equations—the interval Newton method and modifications, in Topics in Validated Computations, ed. by J. Herzberger (Elsevier, Amsterdam, 1994), pp. 7–26.
2. A. Andronov, Mathematical Problems of self-oscillation theory, in I All-Union Conference on Oscillations, November 1931, GTTI, Moscow-Leningrad 1933, pp. 32–71.
3. Encyclopedia of Mathematical Sciences;V. Arnold,1994
4. M. Benedicks, L. Carleson, The dynamics of the Hénon map, Ann. Math. 2 133(1), 73–169 (1991).
5. CAPD–Computer Assisted Proofs in Dynamics group, a C++ package for rigorous numerics, http://capd.wsb-nlu.edu.pl .