Di Iorio, Vladimir, and Osvaldo S. F. Carvalho.
" Derivação Formal de Algoritmos Distribuídos Utilizando Propriedades de Progresso." <em>Anais do VII Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho,
Canela, 1995</em>. SBC, 1995,  
pp.183-197.