Pinheiro, Tânia, and Paulo Roberto Freire Cunha.
" Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos." <em>Anais do IV Simpósio Brasileiro de Engenharia de Software,
Águas de São Pedro/São Paulo, 1990</em>. SBC, 1990,  
pp.14-29.