Gowers, A new proof of Szemerédi's theorem, GAFA, 2001.