[计] top-down stepwise refinement

zì dǐng xiàng xià zhú bù qiú jīng fǎ ㄗˋ ㄉㄧㄥˇ ㄒㄧㄤˋ ㄒㄧㄚˋ ㄓㄨˊ ㄅㄨˋ ㄑㄧㄡˊ ㄐㄧㄥ ㄈㄚˇ