L. Tabuti and A. Melo. " Especificação de um Protocolo de Comunicação Comercial em Join-Calculus", in Anais Estendidos do XIV Simpósio Brasileiro de Engenharia de Software, João Pessoa/PB, 2000, pp. 35-38, doi: https://doi.org/10.5753/sbes_estendido.2000.24201.