http://www.mathunion.org/ICM/ICM1990.2/Main/icm1990.2.1561.1572.ocr.pdf