Initial Algebra Semantics for Cyclic Sharing Tree Structures (Logical Methods in Computer Science, 2010)