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>Proceedings of the 18th Brazilian Symposium on Software Engineering</em>, (pp. 86-101). Porto Alegre: SBC.
doi:10.5753/sbes.2004.23835