Dotti, Fernando, 		Foss, Luciana, 		Ribeiro, Leila, AND 		Santos, Osmar.
" Especificação e Verificação Formal de Sistemas Distribuídos" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (8 October 2003)