Fernando Dotti, Luciana Foss, Leila Ribeiro, and Osmar Santos. 2003.
 Especificação e Verificação Formal de Sistemas Distribuídos. In <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software</em>, outubro 08, 2003, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 221-236. DOI: <a href="https://doi.org/10.5753/sbes.2003.23863">https://doi.org/10.5753/sbes.2003.23863</a>.