Teamwork in multi-agent systems a formal approach - Dunin-Kȩplicz, Barbara; Verbrugge, Rineke (Wiley series in agent technology, 2010)