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