F. Dotti, F. Pasini, and O. Santos.
"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>, Brasília/DF, 2004, pp. 86-101, doi: <a href="https://doi.org/10.5753/sbes.2004.23835">https://doi.org/10.5753/sbes.2004.23835</a>.