Teamwork in multi-agent systems a formal approach - Dunin-Kȩplicz, Barbara. (John Wiley, 2010)