Rineke Verbrugge Barbara Dunin-Keplicz Formal approaches to multi-agent sysems. 1-3 2009 19 Autonomous Agents and Multi-Agent Systems 1 http://dx.doi.org/10.1007/s10458-008-9072-7 db/journals/aamas/aamas19.html#VerbruggeD09