Dotti, F., 		Foss, L., 		Ribeiro, L., & 		Santos, O.
(2003).
Especificação e Verificação Formal de Sistemas Distribuídos.
In <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software</em>, (pp. 221-236). Porto Alegre: SBC.
doi:10.5753/sbes.2003.23863