L.: Algebraic High-Level Net Transformation Systems (1995)

by J Padberg, H Ehrig, Ribeiro
Venue:in: Mathematical Structures in Computer Science Vol