@article{NSJOM_1999_29_2a_3,
     author = {M. 

 Bla\v{z}evi\'c and Z. Budimac and M. Ivanovi\'c},
     title = {Formal 

 specification of a graph rewriting system with environments},
     journal = {Novi Sad Journal of Mathematics},
     pages = {13-27},
     year = {1999},
     volume = {29},
     number = {2},
     url = {http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_3/}
}