Vladimir Di Iorio and Osvaldo Carvalho. 1995.
 Derivação Formal de Algoritmos Distribuídos Utilizando Propriedades de Progresso. In <em>Proceedings of the 7th Brazilian Symposium on Computer Architecture and High Performance Computing</em>, July 29, 1995, Canela, Brasil. SBC, Porto Alegre, Brasil, 183-197. DOI: <a href="https://doi.org/10.5753/sbac-pad.1995.19862">https://doi.org/10.5753/sbac-pad.1995.19862</a>.