@misc{indiciae9b8a2117764c,
  title = {Equational reasoning for non-determinism monad: the case of Spark aggregation},
  author = {Shin-Cheng Mu},
  year = {2021},
  url = {https://arxiv.org/abs/2101.09408},
  note = {Source identifier: 2101.09408}
}