Algebraic high-level net transformation systems (1995)

by J Padberg, H Ehrig, L Ribeiro
Venue:Math. Struct. in Computer Science