Pinheiro, Tânia, AND 		Cunha, Paulo.
" Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (24 October 1990)