Технические наукиTeamwork in Multi-Agent Systems. A Formal ApproachVerbrugge Rineke, Dunin-Keplicz Barbara