Systematic Development of Correct Bulk Synchronous Parallel Programs | IEEE Conference Publication | IEEE Xplore