"Efficient graph rewriting and its implementation" - читать интересную книгу автора (Heiko Dörr)