Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni. Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. J. Comput. Syst. Sci., 64(2):171-218, 2002. [doi]
@article{Grosse-RhodePS02,
title = {Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems},
author = {Martin Große-Rhode and Francesco Parisi-Presicce and Marta Simeoni},
year = {2002},
doi = {10.1006/jcss.2001.1800},
url = {http://dx.doi.org/10.1006/jcss.2001.1800},
tags = {graph transformation, refinement, type system, graph-rewriting, transformation system, rewriting, transformation},
researchr = {https://researchr.org/publication/Grosse-RhodePS02},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {64},
number = {2},
pages = {171-218},
}