Formal Approaches to Agent-Based Systems häftadEngelska, 2003