A computer-assisted proof of universality for area-preserving maps by Eckmann, Jean Pierre, Koch, H., Wittwer, P. fromMemoirs of the American Mathematical Society 0 Type: Book