Carlos Quadros, Jader Saldanha, Narusci Bastos, Newton Marube, and Eder Gonçalves. 2016.
 Uma análise comparativa da especificação formal em sistemas multi-agente: os desafios e as exigências uma década depois. In <em>Anais do X Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações</em>, maio 23, 2016, Maceió/AL, Brasil. SBC, Porto Alegre, Brasil, 82-93. DOI: <a href="https://doi.org/10.5753/wesaac.2016.33208">https://doi.org/10.5753/wesaac.2016.33208</a>.