Osvaldo Carvalho and Vladimir Di Iorio. 1994.
 Derivação Formal de Estruturas Distribuídas. In <em>Anais do VI Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho</em>, agosto 01, 1994, Caxambu, Brasil. SBC, Porto Alegre, Brasil, 21-35. DOI: <a href="https://doi.org/10.5753/sbac-pad.1994.21874">https://doi.org/10.5753/sbac-pad.1994.21874</a>.