T. Tao, “A Quantitative Ergodic Theory Proof of Szemerédi’s Theorem”, Electron. J. Combin., vol. 13, no. 1, p. R99, Nov. 2006.