@article{TofanTravkinSchellhornetal.2014,
  author    = {Bogdan Tofan and Oleg Travkin and Gerhard Schellhorn and Heike Wehrheim},
  title     = {Two approaches for proving linearizability of multiset},
  journal   = {Science of Computer Programming},
  volume    = {96},
  number    = {3},
  pages     = {297 -- 314},
  doi       = {10.1016/j.scico.2014.04.001},
  year      = {2014},
}