From Co-algebraic Specifications to Implementation