Di Iorio, V., & 		Carvalho, O.
(1995).
 Derivação Formal de Algoritmos Distribuídos Utilizando Propriedades de Progresso.
In <em>Anais do VII Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho</em>, (pp. 183-197). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1995.19862