Dunin-Keplicz, Barbara Team work in multi-agent systems a formal approach Barbara Dunin-Keplicz and Rineke Verbrugge - Chichester John Wiley 2010 - xix,224p - Wiley series in agent technology . ISBN: 9780470699881 Subjects--Index Terms: Intelligent agents(computer software) Formal methods(computer science) Artificial intelligence Universal Decimal Class. No.: 004.775:004.81 / DUN