Travkin, O.; Wehrheim, H.; Schellhorn, G. Proving Linearizability of Multiset With Local Proof Obligations. ECEASST 2013, 53.