@article{Jupiter:JCST2020,
  author = {Wei, Hengfeng and Tang, Ruize and Huang, Yu and Lu, Jian},
  title = {Jupiter Made Abstract, and Then Refined},
  journal = {Journal of Computer Science and Technology},
  year = {2020},
  volume = {35},
  number = {6},
  pages = {1343--1364},
  doi = {10.1007/s11390-020-0516-0},
  url = {https://doi.org/10.1007/s11390-020-0516-0}
}