C. Quadros, J. Saldanha, N. Bastos, N. Marube, and E. Gonçalves.
" 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>, Maceió/AL, 2016, pp. 82-93, doi: <a href="https://doi.org/10.5753/wesaac.2016.33208">https://doi.org/10.5753/wesaac.2016.33208</a>.