G. Bergmann, I. Ráth, and D. Varró, “Parallelization of Graph Transformation Based on Incremental Pattern Matching”, eceasst, vol. 18, Sep. 2009.