Santos, Osmar, E 		Dotti, Fernando.
" Proposta de uma abordagem para a verificação formal de Sistemas Distribuídos Baseados em Objetos" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (19 maio 2003)