A top down approach for MAS protocol descriptions | Publicación