Verigraph: A System for Specification and Analysis of Graph Grammars. - Andrei Costa; Jonas Santos Bezerra; Guilherme Grochau Azzi; Leonardo Marques Rodrigues; Thiago Rafael Becker; Ricardo Gabriel Herdt; Rodrigo Machado (SBMF, 2016)

The Verigraph System for Graph Transformation. - Guilherme Grochau Azzi; Jonas Santos Bezerra; Leila Ribeiro 001; Andrei Costa; Leonardo Marques Rodrigues; Rodrigo Machado (Graph Transformation, Specifications, and Nets, 2018)

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. - Andrea Corradini 001; Dominique Duval; Michael Löwe; Leila Ribeiro 001; Rodrigo Machado; Andrei Costa; Guilherme Grochau Azzi; Jonas Santos Bezerra; Leonardo Marques Rodrigues (Graph Transformation, Specifications, and Nets, 2018)