QUADROS, Carlos Eduardo Pereira; 						SALDANHA, Jader de Freitas; 						BASTOS, Narusci; 						MARUBE, Newton Nyamasege; 						GONÇALVES, Eder Mateus.
 A comparative analysis of formal specification in multi-agent systems: challenges and requirements a decade later. <em>In</em>: WORKSHOP-SCHOOL ON AGENTS, ENVIRONMENTS, AND APPLICATIONS (WESAAC), 10.	, 2016, Maceió/AL.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2016
.
 p. 82-93. 
			ISSN 2326-5434. 
		DOI: <a href="https://doi.org/10.5753/wesaac.2016.33208">https://doi.org/10.5753/wesaac.2016.33208</a>.