Carlos Quadros, Jader Saldanha, Narusci Bastos, Newton Marube, and Eder Gonçalves. 2016.
 A comparative analysis of formal specification in multi-agent systems: challenges and requirements a decade later. In <em>Proceedings of the 10th Workshop-School on Agents, Environments, and Applications</em>, May 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>.