Formal Refinement of BSP Programs with Early Cost Evaluation | IEEE Conference Publication | IEEE Xplore