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