A computer-assisted proof of universality for area-preserving maps - Eckmann, Jean Pierre (Memoirs of the American Mathematical Society ;, 1984)