Silva A, Rutten J.? 2010.??A coinductive calculus of binary trees. Information and Computation. 208(5):578?593.