@misc{indiciae8c33b15a2a23,
  title = {Relational Equivalence Proofs Between Imperative and MapReduce Algorithms},
  author = {Bernhard Beckert and Timo Bingmann and Moritz Kiefer and Peter Sanders and Mattias Ulbrich and Alexander Weigl},
  year = {2018},
  url = {https://arxiv.org/abs/1801.08766},
  note = {Source identifier: 1801.08766}
}