Shipping costs for Refinement Calculus : A Systematic Introduction