Cravo, Diogo, and Leila Ribeiro.
"Module Integration Using Graph Grammars (MIGRATE)." <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais,
Campina Grande, 2021</em>. SBC, 2021,  
pp.87-103.