@misc{indiciaed44160a45c13,
  title = {Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations},
  author = {Bernhard Beckert and Timo Bingmann and Moritz Kiefer and Peter Sanders and Mattias Ulbrich and Alexander Weigl},
  year = {2018},
  doi = {10.4204/eptcs.268.7},
  url = {https://arxiv.org/abs/1803.10328},
  note = {Source identifier: 1803.10328}
}