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