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