R. Barbosa, A. Costa, P. Tedesco, and A. Mota.
" Uso de CSP na Especificação Formal do Nível Micro-Organizacional de SMAs", in <em>Anais do IV Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações</em>, Rio Grande/RS, 2010, pp. 13-21, doi: <a href="https://doi.org/10.5753/wesaac.2010.33049">https://doi.org/10.5753/wesaac.2010.33049</a>.