Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos. - Fernando Luís Dotti; Fábio Pasini; Osmar Marchi dos Santos (SBES, 2004)

Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars. - Fábio Pasini; Fernando Luís Dotti (SBMF, 2005)

Verifying Object-based Graph Grammars. - Fernando Luís Dotti; Leila Ribeiro 001; Osmar Marchi dos Santos; Fábio Pasini (Softw. Syst. Model., 2006)