L. Ribeiro, H. Ehrig, and J. Padberg.
" Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations", in <em>Anais do VII Simpósio Brasileiro de Engenharia de Software</em>, Rio de Janeiro/RJ, 1993, pp. 1-16, doi: <a href="https://doi.org/10.5753/sbes.1993.24392">https://doi.org/10.5753/sbes.1993.24392</a>.