Specification transformation method for functional program generation based on partition-recursion refinement rule. - Zhengkang Zuo; Zhicheng Zeng; Wei Su; Qing Huang; Yuhan Ke; Zengxin Liu; Changjing Wang; Wei Liang 005 (Inf. Sci., 2023)