Carvalho, Osvaldo, and Vladimir O. Di Iorio.
" Derivação Formal de Estruturas Distribuídas." <em>Anais do VI Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho,
Caxambu, 1994</em>. SBC, 1994,  
pp.21-35.