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