Efficient graph rewriting and its implementation - Dorr Heiko (Berlin Springer- Verlag, 1995)
Keywords: Computer science; Rewriting systems