Ribeiro, L., 		Ehrig, H., & 		Padberg, J.
1993 out 27.  Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :