Travkin, O., Wehrheim, H., & Schellhorn, G. (2013). Proving Linearizability of Multiset with Local Proof Obligations. Electronic Communications of the EASST, 53. https://doi.org/10.14279/tuj.eceasst.53.795