Carvalho, O., & 		Di Iorio, V.
(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>, (pp. 21-35). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1994.21874