Title: Synthesis techniques for transformations on tree and graph structures
Subjects: Data structures (Computer science), Graph theory, Trees (Graph theory)