Di Iorio, V., & 		Carvalho, O.
1995 Jul 29.  Derivação Formal de Algoritmos Distribuídos Utilizando Propriedades de Progresso. Proceedings of the International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :