Pinheiro, T., & 		Cunha, P.
1990 out 24.  Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :