Raquel Barbosa, Antônio Costa, Patrícia Tedesco, and Alexandre Mota. 2010.
 Use of CSP in the Formal Specification of the Micro-Organizational Level of Multi-Agent Systems (MAS). In <em>Proceedings of the 4th Workshop-School on Agents, Environments, and Applications</em>, April 19, 2010, Rio Grande/RS, Brasil. SBC, Porto Alegre, Brasil, 13-21. DOI: <a href="https://doi.org/10.5753/wesaac.2010.33049">https://doi.org/10.5753/wesaac.2010.33049</a>.