C. Salazar and S. Meira.
" Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição", in <em>Anais do II Simpósio Brasileiro de Engenharia de Software</em>, Canela/RS, 1988, pp. 47-60, doi: <a href="https://doi.org/10.5753/sbes.1988.24244">https://doi.org/10.5753/sbes.1988.24244</a>.