Multiagent systems algorithmic, game-theoretic, and logical foundations - Shoham, Yoav (Cambridge University Press, 2009)