Silva A, Rutten J.? 2007.??A coinductive calculus of binary trees.