Using Specification and Description Language to Formalize Multiagent Systems | Publicación