Haihe Shi Jinyun Xue Generating Provably Correct Algorithmic Programs from Formal Specifications. 270-275 2010 QSIC http://dx.doi.org/10.1109/QSIC.2010.60 conf/qsic/2010 db/conf/qsic/qsic2010.html#ShiX10