Dotti, F., 		Foss, L., 		Ribeiro, L., & 		Santos, O.
(2003).
 Especificação e Verificação Formal de Sistemas Distribuídos.
In <em>Proceedings of the 17th Brazilian Symposium on Software Engineering</em>, (pp. 221-236). Porto Alegre: SBC.
doi:10.5753/sbes.2003.23863