Graph Grammars: A Comparison between Verification Methods. - Andre Moura de Mello; Luiz Carlos Lemos Junior; Luciana Foss; Simone André da Costa Cavalheiro (WEIT, 2011)

Graph Grammar Specification for the Populational Level of Multi-agent System Organizations. - Andre Moura de Mello; Luciana Foss; Simone André da Costa Cavalheiro (WEIT, 2013)