Dotti, Fernando, 		Foss, Luciana, 		Ribeiro, Leila, E 		Santos, Osmar.
" Especificação e Verificação Formal de Sistemas Distribuídos" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (8 outubro 2003)