Graph expressions and graph rewritings, (1987)

by M Bauderon, B Courcelle
Venue:Math. Syst. Theory