@article{Bauderon1987GraphEA,
title={Graph expressions and graph rewritings},
author={Michel Bauderon and Bruno Courcelle},
journal={Mathematical systems theory},
year={1987},
volume={20},
pages={83-127}
}

We define an algebraic structure for the set of finite graphs, a notion of graph expression for defining them, and a complete set of equational rules for manipulating graph expressions. (By agraph we mean an oriented hypergraph, the hyperedges of which are labeled with symbols from a fixed finite ranked alphabet and that is equipped with a finite sequence of distinguished vertices). The notion of a context-free graph grammar is introduced (based on the substitution of a graph for a hyperedge inâ€¦Â CONTINUE READING