Generating Provably Correct Algorithmic Programs from Formal Specifications | IEEE Conference Publication | IEEE Xplore