Dotti, Fernando, Fábio Pasini, and Osmar M. dos Santos.
"Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos." <em>Anais do XVIII Simpósio Brasileiro de Engenharia de Software,
Brasília/DF, 2004</em>. SBC, 2004,  
pp.86-101.