@Inproceedings{EPTCS268.7,
  author    = {Beckert, Bernhard and Bingmann, Timo and Kiefer, Moritz and Sanders, Peter and Ulbrich, Mattias and Weigl, Alexander},
  year      = {2018},
  title     = {Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations},
  editor    = {Gallagher, John P. and Glabbeek, Rob van and Serwe, Wendelin},
  booktitle = {{\rm Proceedings Third Workshop on}
               Models for Formal Analysis of Real Systems {\rm and Sixth International Workshop on} Verification and Program Transformation,
               {\rm Thessaloniki, Greece, 20th April 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {268},
  publisher = {Open Publishing Association},
  pages     = {185-199},
  doi       = {10.4204/EPTCS.268.7},
}