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