De Nicola, Rocco and Labella, Anna Tree morphisms and bisimulations. Electronic Notes in Theoretical Computer Science, 18. pp. 46-64. ISSN 1571-0661 (1998)