Christof Löding: Infinite games and automata theory. Lectures in Game Theory for Computer Scientists 2011: 38-73