L. Tabuti and A. Melo.
" Especificação de um Protocolo de Comunicação Comercial em Join-Calculus", in <em>Companion Proceedings of the 14th Brazilian Symposium on Software Engineering</em>, João Pessoa/PB, 2000, pp. 35-38, doi: <a href="https://doi.org/10.5753/sbes_estendido.2000.24201">https://doi.org/10.5753/sbes_estendido.2000.24201</a>.