Coexistence and Persistence of Strange Attractors (Lecture Notes in Mathematics) by Antonio Pumarino

Although chaotic behaviour had often been observed numerically earlier, the first mathematical proof of the existence, with positive probability (persistence) of strange attractors was given by Benedicks and Carleson for the Henon family, at the beginning of 1990's.