O. Carvalho and V. Di Iorio.
" Derivação Formal de Estruturas Distribuídas", in <em>Anais do VI Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho</em>, Caxambu, 1994, pp. 21-35, doi: <a href="https://doi.org/10.5753/sbac-pad.1994.21874">https://doi.org/10.5753/sbac-pad.1994.21874</a>.