Silva A, Rutten J.? 2007.??Behavioural differential equations and coinduction for binary trees.