Statistical mechanics of quantum lattice systems (Zurich : European Mathematical Society, 2009)