Fernando Dotti, Fábio Pasini, and Osmar Santos. 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>, outubro 18, 2004, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 86-101. DOI: <a href="https://doi.org/10.5753/sbes.2004.23835">https://doi.org/10.5753/sbes.2004.23835</a>.