Coordination of many agents - Jaffar, J. (2013)
Lecture Notes in Computer Science