TAO, T. A Quantitative Ergodic Theory Proof of Szemerédi’s Theorem. The Electronic Journal of Combinatorics, v. 13, n. 1, p. R99, 6 Nov. 2006.