RIBEIRO, Leila; KORFF, Martin. Graph Grammars for the Specification of Concurrent Systems. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 11. , 1997, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1997 . p. 199-214. DOI: https://doi.org/10.5753/sbes.1997.24049.