Zhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang. Specification transformation method for functional program generation based on partition-recursion refinement rule. Inf. Sci., 633:613-632, July 2023. [doi]
Abstract is missing.