Lectures in Game Theory for Computer Scientists - Krzysztof R. Apt; Erich Grädel (2011)