F. Dotti, L. Foss, L. Ribeiro, and O. Santos.
"Especificação e Verificação Formal de Sistemas Distribuídos", in <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software</em>, Manaus/AM, 2003, pp. 221-236, doi: <a href="https://doi.org/10.5753/sbes.2003.23863">https://doi.org/10.5753/sbes.2003.23863</a>.