Teamwork in multi-agent systems a formal approach - Dunin-Kęplicz, Barbara 1952-; Verbrugge, Rineke (John Wiley, 2010)