Silva A, Rutten J.? 2007.??Behavioural differential equations and coinduction for binary trees. Proceedings of the Workshop on Logic, Language, Information and Computation 2007 (WoLLIC 2007). 4576:322?336.