Dotti, Fernando, Luciana Foss, Leila Ribeiro, and Osmar M. dos Santos.
"Especificação e Verificação Formal de Sistemas Distribuídos." <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software,
Manaus/AM, 2003</em>. SBC, 2003,  
pp.221-236.