Multiagent Systems. Algorithmic, Game – Theoretic, and Logical Foundations,
Shoham, Y., K. Leyton-Brown (2009),
532 pp.