Formal specification of multi-agent e-barter systems | Publicación