Quadros, Carlos, 		Saldanha, Jader, 		Bastos, Narusci, 		Marube, Newton, E 		Gonçalves, Eder.
" 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 Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC)</em> [Online], (23 maio 2016)