Jupiter Made Abstract, and Then Refined. - Heng-Feng Wei; Rui-Ze Tang; Yu Huang; Jian Lv (J. Comput. Sci. Technol., 2020)