Chen, Xiao Jun and De Nicola, Rocco Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theoretical Computer Science, 254 (1-2). pp. 337-361. ISSN 0304-3975 (2001)