T. Pinheiro and P. Cunha.
" Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos", in <em>Anais do IV Simpósio Brasileiro de Engenharia de Software</em>, Águas de São Pedro/São Paulo, 1990, pp. 14-29, doi: <a href="https://doi.org/10.5753/sbes.1990.24163">https://doi.org/10.5753/sbes.1990.24163</a>.