V. Di Iorio and O. Carvalho.
" 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>, Canela, 1995, pp. 183-197, doi: <a href="https://doi.org/10.5753/sbac-pad.1995.19862">https://doi.org/10.5753/sbac-pad.1995.19862</a>.