Finite graphs and amenability - Gabor Elek (2012)