Di Iorio, Vladimir, E 		Carvalho, Osvaldo.
" Derivação Formal de Algoritmos Distribuídos Utilizando Propriedades de Progresso" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (29 julho 1995)