This is described in his 1977 paper, Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions.
This is detailed in his 1977 paper, "Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions."