Higher order Fourier analysis as an algebraic theory II - Balazs Szegedy (2009)