Formal development of concurrent systems using algebraic high-level nets and transformations (1993)

by L Ribeiro, H Ehrig, J Padberg
Venue:In Proc. VII Simp'osio Brasileiro de Engenharia de Software