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