This is a collection of pointers to descriptions of transformation problems. It would be interesting to see solutions for these problems in different transformation systems.
The tutorial part of the Stratego/XT Manual features transformations on the tiny imperative language TIL to demonstrate various types of transformations.