Quadros, Carlos, Jader de Freitas Saldanha, Narusci Bastos, Newton Nyamasege Marube, and Eder Mateus Gonçalves.
" Uma análise comparativa da especificação formal em sistemas multi-agente: os desafios e as exigências uma década depois." <em>Anais do X Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações,
Maceió/AL, 2016</em>. SBC, 2016,  
pp.82-93.