Algebraic high-level net transformation systems. - Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila (Mathematical Structures in Computer Science, 1995)