A computer-assisted proof of the Feigenbaum conjectures (1982)

by O Lanford