P. Baldan, A. Corradini, and U. Montanari. Formal and Natural Computing, volume 2300 of Lecture Notes in Computer Science, page 158-190. Springer, (2002)
P. Baldan, F. Gadducci, and U. Montanari. TERMGRAPH@ETAPS, volume 176 of Electronic Notes in Theoretical Computer Science, page 85-97. Elsevier, (2006)