De Nicola, Rocco and Gorla, Daniele and Labella, Anna  Tree-functors, determinacy and bisimulations.  Mathematical Structures in Computer Science, 20 (3).  pp. 319-358.  ISSN 0960-1295      (2010)