Leila Ribeiro, Hartmut Ehrig, and Julia Padberg. 1993.
 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>, outubro 27, 1993, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 1-16. DOI: <a href="https://doi.org/10.5753/sbes.1993.24392">https://doi.org/10.5753/sbes.1993.24392</a>.