DI IORIO, Vladimir O.; 						CARVALHO, Osvaldo S. F..
 Derivação Formal de Algoritmos Distribuídos Utilizando Propriedades de Progresso. <em>In</em>: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 7.	, 1995, Canela.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	1995
.
 p. 183-197. 
		DOI: <a href="https://doi.org/10.5753/sbac-pad.1995.19862">https://doi.org/10.5753/sbac-pad.1995.19862</a>.