Pinheiro, Tânia, E 		Cunha, Paulo.
" Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (24 outubro 1990)