H. Ehrig, K. Hoffmann, K. Gabriel, and J. Padberg. FMWS@CONCUR, volume 242 of Electronic Notes in Theoretical Computer Science, page 59-71. Elsevier, (2008)
L. Lambers, H. Ehrig, U. Prange, and F. Orejas. ACCAT@ETAPS, volume 203 of Electronic Notes in Theoretical Computer Science, page 43-66. Elsevier, (2007)