and Sjaak Smetsers. Graph rewriting and copying (1992)

by Erik Barendsen