%0 Journal Article %A M. Blažević %A Z. Budimac %A M. Ivanović %T Formal specification of a graph rewriting system with environments %J Novi Sad Journal of Mathematics %D 1999 %P 13-27 %V 29 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_3/ %F NSJOM_1999_29_2a_3