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