Dotti, F., 		Pasini, F., & 		Santos, O.
(2004).
Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos.
In <em>Anais do XVIII Simpósio Brasileiro de Engenharia de Software</em>, (pp. 86-101). Porto Alegre: SBC.
doi:10.5753/sbes.2004.23835