SALAZAR, Carmen Huamali; 						MEIRA, Silvio Romero de Lemos.
 Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição. <em>In</em>: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 2.	, 1988, Canela/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	1988
.
 p. 47-60. 
		DOI: <a href="https://doi.org/10.5753/sbes.1988.24244">https://doi.org/10.5753/sbes.1988.24244</a>.