Towards a Formal Specification of Complex Social Structures in Multi-agent Systems | Publicación