Leila Ribeiro and Martin Korff. 1997. Graph Grammars for the Specification of Concurrent Systems. In Proceedings of the 11th Brazilian Symposium on Software Engineering, October 15, 1997, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 199-214. DOI: https://doi.org/10.5753/sbes.1997.24049.