Ribeiro, L., & Korff, M. (1997). Graph Grammars for the Specification of Concurrent Systems. In Proceedings of the 11th Brazilian Symposium on Software Engineering, (pp. 199-214). Porto Alegre: SBC. doi:10.5753/sbes.1997.24049