Dotti, Fernando, 		Pasini, Fábio, E 		Santos, Osmar.
" Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (18 outubro 2004)