BARBOSA, Raquel M.; 						COSTA, Antônio C. R.; 						TEDESCO, Patrícia C. A. R.; 						MOTA, Alexandre C..
 Uso de CSP na Especificação Formal do Nível Micro-Organizacional de SMAs. <em>In</em>: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 4.	, 2010, Rio Grande/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2010
.
 p. 13-21. 
			ISSN 2326-5434. 
		DOI: <a href="https://doi.org/10.5753/wesaac.2010.33049">https://doi.org/10.5753/wesaac.2010.33049</a>.