Salazar, C., & 		Meira, S.
1988 out 27.  Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :