What are you looking for?

Teamwork in multi-agent systems : a formal approach