Leila Ribeiro and Martin Korff. 1997. Graph Grammars for the Specification of Concurrent Systems. In Anais do XI SimpĆ³sio Brasileiro de Engenharia de Software, outubro 15, 1997, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 199-214. DOI: https://doi.org/10.5753/sbes.1997.24049.