A computer-assisted proof of universality for area-preserving maps by Koch, H., Wittwer, P., Eckmann, J. P. fromMemoirs 0 Type: Book
