@article{TPaxos:JOS2020,
  author = {Yi, Xingchen and Wei, Hengfeng and Huang, Yu and Qiao, Lei and Lu, Jian},
  title = {TPaxos in {PaxosStore}: Derivation, Specification and Refinement (in Chinese)},
  journal = {Journal of Software},
  year = {2020},
  volume = {31},
  number = {8},
  pages = {2336--2361}
}