Tabuti, L., & 		Melo, A.
2000 Oct  4.  Especificação de um Protocolo de Comunicação Comercial em Join-Calculus. Companion Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :