Ribeiro, Leila, 		Ehrig, Hartmut, E 		Padberg, Julia.
" Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (27 outubro 1993)