Lucy Tabuti and Ana Melo. 2000.
 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>, October 04, 2000, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 35-38. DOI: <a href="https://doi.org/10.5753/sbes_estendido.2000.24201">https://doi.org/10.5753/sbes_estendido.2000.24201</a>.