On the Refinement of Logic Specifications