@article{MongoDBCCC:JCST2022,
  author = {Ouyang, Hongrong and Wei, Hengfeng and Huang, Yu and Li, Haixiang and Pan, Anqun},
  title = {Checking Causal Consistency of {MongoDB}},
  journal = {Journal of Computer Science and Technology},
  year = {2022},
  volume = {37},
  number = {1},
  pages = {128--146},
  doi = {10.1007/s11390-021-1662-8},
  url = {https://doi.org/10.1007/s11390-021-1662-8}
}