Fernando Dotti, Luciana Foss, Leila Ribeiro, and Osmar Santos. 2003.
 Especificação e Verificação Formal de Sistemas Distribuídos. In <em>Proceedings of the 17th Brazilian Symposium on Software Engineering</em>, October 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>.