Ítems similars: Formal Approaches to Agent-Based Systems :