L. Ribeiro and M. Korff. " Graph Grammars for the Specification of Concurrent Systems", in Anais do XI SimpĆ³sio Brasileiro de Engenharia de Software, Recife/PE, 1997, pp. 199-214, doi: https://doi.org/10.5753/sbes.1997.24049.