Automatic Algorithm Programming Model Based on the Improved Morgan's Refinement CalculusZhengkang ZUO, Ying HU, Qing HUANG, Yuan WANG and Changjing WANGWuhan Univ. J. Nat. Sci., 27 5 (2022) 405-414DOI: https://doi.org/10.1051/wujns/2022275405
